Searched refs:xen_load_cr3 (Results 1 - 3 of 3) sorted by relevance

/freebsd-10.2-release/sys/i386/include/
H A Dasmacros.h186 call xen_load_cr3 ; \
H A Dcpufunc.h49 extern void xen_load_cr3(u_int data);
414 xen_load_cr3(data);
/freebsd-10.2-release/sys/i386/xen/
H A Dxen_machdep.c338 xen_load_cr3(u_int val) function
1044 xen_load_cr3(VTOP(IdlePDPTnew));

Completed in 56 milliseconds