Searched refs:evtchn_device_upcall (Results 1 - 2 of 2) sorted by relevance
| /freebsd-10.0-release/sys/xen/evtchn/ | ||
| H A D | evtchnvar.h | 50 void evtchn_device_upcall(evtchn_port_t port); |
| H A D | evtchn_dev.c | 70 evtchn_device_upcall(evtchn_port_t port) function |
Completed in 68 milliseconds