Searched refs:evtchn_pending (Results 1 – 2 of 2) sorted by relevance
203 sys_bitfield_clear_bit((mem_addr_t) s->evtchn_pending, port); in clear_event_channel()210 return (s->evtchn_pending[pos] & ~(s->evtchn_mask[pos])); in get_pending_events()
346 xen_ulong_t evtchn_pending[sizeof(xen_ulong_t) * 8]; member