xen_domain
if (!xen_domain()) {
if (!xen_domain())
if (!xen_domain())
KASSERT((xen_domain()), ("call to xc_printf from non Xen guest"));
if (!xen_domain())
KASSERT(xen_domain(),
KASSERT((xen_domain()),
KASSERT((xen_domain()),
KASSERT(xen_domain(),
KASSERT(xen_domain(),
if (!xen_domain())
KASSERT((xen_domain()), ("Trying to use Xen timer on bare metal"));
if (!xen_domain() || xs_initialized())
if (!xen_domain() ||
if (!xen_domain())
if (!xen_domain())
return (xen_domain() && (hvm_start_flags & SIF_INITDOMAIN) != 0);
KASSERT(xen_domain(), ("%s(): invoked when not on Xen?", __func__));