Home	Sort by: relevance | last modified time | path

Full Search in project(s): src xsrc Definition Symbol File Path History   | | Help

    Searched refs:ci_xen_current_user_pgd (Results 1 - 3 of 3) sorted by relevancy

/src/sys/arch/x86/include/
cpu.h	292 paddr_t ci_xen_current_user_pgd; member in struct:cpu_info
/src/sys/arch/xen/x86/
cpu.c	429 ci->ci_xen_current_user_pgd = 0; 1142 ci->ci_xen_current_user_pgd = pmap_pdirpa(pmap, 0);
/src/sys/arch/x86/x86/
pmap.c	3508 KASSERT(pmap_pdirpa(pmap, 0) == ci->ci_xen_current_user_pgd || \

Completed in 25 milliseconds

Indexes created Tue Feb 24 19:07:35 UTC 2026