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

/freebsd-12-stable/sys/xen/
H A Dxen-os.h114 xen_domain(void) function
135 return (xen_domain() && (xen_get_start_flags() & SIF_INITDOMAIN) != 0);
/freebsd-12-stable/sys/dev/xen/pvcpu/
H A Dpvcpu.c53 if (!xen_domain() || PCPU_GET(device) != NULL)
/freebsd-12-stable/sys/x86/xen/
H A Dhvm.c172 if (xen_domain() && init_type == XEN_HVM_INIT_LATE) {
340 if (!xen_domain()) {
406 if (!xen_domain())
H A Dxenpv.c72 if (!xen_domain())
H A Dxen_intr.c634 if (!xen_domain())
677 if (!xen_domain())
1676 if (!xen_domain()) {
/freebsd-12-stable/sys/dev/xen/debug/
H A Ddebug.c95 KASSERT(xen_domain(),
/freebsd-12-stable/sys/dev/xen/xenstore/
H A Dxenstored_dev.c105 if (!xen_domain() || xs_initialized())
/freebsd-12-stable/sys/dev/xen/timer/
H A Dtimer.c108 if (!xen_domain())
121 KASSERT((xen_domain()), ("Trying to use Xen timer on bare metal"));
/freebsd-12-stable/sys/dev/xen/console/
H A Dxen_console.c182 KASSERT((xen_domain()), ("call to xc_printf from non Xen guest"));
590 if (!xen_domain())
/freebsd-12-stable/sys/dev/xen/grant_table/
H A Dgrant_table.c601 KASSERT(xen_domain(),
/freebsd-12-stable/sys/dev/xen/privcmd/
H A Dprivcmd.c388 KASSERT(xen_domain(),
/freebsd-12-stable/sys/dev/xen/evtchn/
H A Devtchn_dev.c563 KASSERT((xen_domain()),
/freebsd-12-stable/sys/dev/xen/gntdev/
H A Dgntdev.c1252 KASSERT((xen_domain()),

Completed in 91 milliseconds