Searched refs:evtchn_dev (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/dev/xen/evtchn/ |
| H A D | evtchn_dev.c | 96 static device_t evtchn_dev; variable
143 device_printf(evtchn_dev, in evtchn_filter()
371 error = xen_intr_add_handler(device_get_nameunit(evtchn_dev), in evtchn_bind_user_port()
404 error = xen_intr_bind_virq(evtchn_dev, bind->virq, 0, in evtchn_ioctl()
425 error = xen_intr_bind_remote_port(evtchn_dev, in evtchn_ioctl()
447 error = xen_intr_alloc_and_bind_local_port(evtchn_dev, in evtchn_ioctl()
560 evtchn_dev = BUS_ADD_CHILD(parent, 0, "evtchn", 0); in evtchn_identify()
561 if (evtchn_dev == NULL) in evtchn_identify()
|
| /freebsd/sys/conf/ |
| H A D | files | 3532 dev/xen/evtchn/evtchn_dev.c optional xenhvm
|