Searched refs:event_index (Results 1 – 1 of 1) sorted by relevance
229 uint32_t pos_index, event_index; /* bit indexes */ in events_isr() local255 event_index = __builtin_ffsl(events_pending) - 1; in events_isr()256 events_pending &= (((xen_ulong_t) 1) << event_index); in events_isr()259 + event_index; in events_isr()