Changeset View

Standalone View

	Show First 20 Lines • Show All 91 Lines • ▼ Show 20 Lines

	static void			static void
	xendebug_identify(driver_t *driver, device_t parent)			xendebug_identify(driver_t *driver, device_t parent)
	{			{

	KASSERT(xen_domain(),			KASSERT(xen_domain(),
	("Trying to add Xen debug device to non-xen guest"));			("Trying to add Xen debug device to non-xen guest"));

	if (xen_hvm_domain() && !xen_vector_callback_enabled)			if (!xen_has_percpu_evtchn())
	return;			return;

	if (BUS_ADD_CHILD(parent, 0, "debug", 0) == NULL)			if (BUS_ADD_CHILD(parent, 0, "debug", 0) == NULL)
	panic("Unable to add Xen debug device.");			panic("Unable to add Xen debug device.");
	}			}

	static int			static int
	xendebug_probe(device_t dev)			xendebug_probe(device_t dev)
	▲ Show 20 Lines • Show All 51 Lines • Show Last 20 Lines