Home	Sort by: relevance | last modified time | path

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

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

/src/sys/arch/xen/include/
xenpmap.h	55 void xen_bcast_invlpg(vaddr_t);
/src/sys/arch/xen/x86/
x86_xpmap.c	362 xen_bcast_invlpg(vaddr_t va) function
/src/sys/arch/x86/x86/
pmap.c	2835 xen_bcast_invlpg((vaddr_t)object);

Completed in 19 milliseconds

Indexes created Tue May 26 00:24:38 UTC 2026