Searched defs:evtchn (Results 1 – 2 of 2) sorted by relevance
| /include/xen/interface/io/ | ||
| D | pvcalls.h | 53 uint32_t evtchn; member |
| /include/xen/interface/ | ||
| D | xen.h | 646 uint32_t evtchn; /* Event channel for console page. */ member |