HomeSort by: relevance | last modified time | path
    Searched defs:xen_dummy_user_pgd (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/x86/x86/
pmap.c 1334 paddr_t xen_dummy_user_pgd; local in function:pmap_bootstrap
1341 xen_dummy_user_pgd = xen_dummy_page - KERNBASE;
1344 memset(PAGE_ALIGNED(xen_dummy_user_pgd + KERNBASE), 0, PAGE_SIZE);
1346 HYPERVISOR_update_va_mapping(xen_dummy_user_pgd + KERNBASE,
1347 pmap_pa2pte(xen_dummy_user_pgd) | PTE_P | pmap_pg_nx,
1350 xpq_queue_pin_l4_table(xpmap_ptom_masked(xen_dummy_user_pgd));
pmap.c 1334 paddr_t xen_dummy_user_pgd; local in function:pmap_bootstrap
1341 xen_dummy_user_pgd = xen_dummy_page - KERNBASE;
1344 memset(PAGE_ALIGNED(xen_dummy_user_pgd + KERNBASE), 0, PAGE_SIZE);
1346 HYPERVISOR_update_va_mapping(xen_dummy_user_pgd + KERNBASE,
1347 pmap_pa2pte(xen_dummy_user_pgd) | PTE_P | pmap_pg_nx,
1350 xpq_queue_pin_l4_table(xpmap_ptom_masked(xen_dummy_user_pgd));

Completed in 27 milliseconds