Searched refs:xen_domain (Results 1 - 4 of 4) sorted by relevance

/freebsd-10.1-release/sys/xen/
H A Dxen-os.h64 xen_domain(void) function
/freebsd-10.1-release/sys/dev/xen/timer/
H A Dtimer.c101 if (!xen_domain())
114 KASSERT((xen_domain()), ("Trying to use Xen timer on bare metal"));
/freebsd-10.1-release/sys/x86/xen/
H A Dhvm.c600 if (!xen_domain())
H A Dxen_intr.c575 if (!xen_domain())

Completed in 96 milliseconds