Searched refs:evtchn_dev (Results 1 – 2 of 2) sorted by relevance
| /freebsd-12.1/sys/dev/xen/evtchn/ |
| H A D | evtchn_dev.c | 102 static device_t evtchn_dev; variable
149 device_printf(evtchn_dev, in evtchn_filter()
376 error = xen_intr_add_handler(device_get_nameunit(evtchn_dev), in evtchn_bind_user_port()
409 error = xen_intr_bind_virq(evtchn_dev, bind->virq, 0, in evtchn_ioctl()
430 error = xen_intr_bind_remote_port(evtchn_dev, in evtchn_ioctl()
452 error = xen_intr_alloc_and_bind_local_port(evtchn_dev, in evtchn_ioctl()
565 evtchn_dev = BUS_ADD_CHILD(parent, 0, "evtchn", 0); in evtchn_identify()
566 if (evtchn_dev == NULL) in evtchn_identify()
|
| /freebsd-12.1/sys/conf/ |
| H A D | files | 3554 dev/xen/evtchn/evtchn_dev.c optional xenhvm
|