Searched refs:evtchn_dev (Results 1 – 2 of 2) sorted by relevance
| /freebsd-14.2/sys/dev/xen/evtchn/ |
| H A D | evtchn_dev.c | 97 static device_t evtchn_dev; variable
144 device_printf(evtchn_dev, in evtchn_filter()
372 error = xen_intr_add_handler(device_get_nameunit(evtchn_dev), in evtchn_bind_user_port()
405 error = xen_intr_bind_virq(evtchn_dev, bind->virq, 0, in evtchn_ioctl()
426 error = xen_intr_bind_remote_port(evtchn_dev, in evtchn_ioctl()
448 error = xen_intr_alloc_and_bind_local_port(evtchn_dev, in evtchn_ioctl()
561 evtchn_dev = BUS_ADD_CHILD(parent, 0, "evtchn", 0); in evtchn_identify()
562 if (evtchn_dev == NULL) in evtchn_identify()
|
| /freebsd-14.2/sys/conf/ |
| H A D | files | 3502 dev/xen/evtchn/evtchn_dev.c optional xenhvm
|