Home	Sort by: relevance | last modified time | path

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

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

/src/sys/arch/xen/include/
xenpmap.h	174 void xen_set_user_pgd(paddr_t);
/src/sys/arch/xen/x86/
x86_xpmap.c	954 xen_set_user_pgd(paddr_t page) function in typeref:typename:void 964 panic("xen_set_user_pgd: failed to install new user page"
cpu.c	1141 xen_set_user_pgd(pmap_pdirpa(pmap, 0));

Completed in 14 milliseconds

Indexes created Mon Oct 13 05:10:05 GMT 2025