Searched refs:evtchn_dev (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/sys/dev/xen/evtchn/ |
| H A D | evtchn_dev.c | 39 __FBSDID("$FreeBSD: stable/11/sys/dev/xen/evtchn/evtchn_dev.c 362331 2020-06-18 15:44:40Z royger $");
70 MALLOC_DEFINE(M_EVTCHN, "evtchn_dev", "Xen event channel user-space device");
102 static device_t evtchn_dev; variable
149 device_printf(evtchn_dev,
377 error = xen_intr_add_handler(device_get_nameunit(evtchn_dev),
410 error = xen_intr_bind_virq(evtchn_dev, bind->virq, 0,
431 error = xen_intr_bind_remote_port(evtchn_dev,
453 error = xen_intr_alloc_and_bind_local_port(evtchn_dev,
566 evtchn_dev = BUS_ADD_CHILD(parent, 0, "evtchn", 0);
567 if (evtchn_dev
[all...] |
Completed in 111 milliseconds