Searched refs:evtchn_owner (Results 1 – 1 of 1) sorted by relevance
185 static int evtchn_owner[NR_EVENT_CHANNELS]; variable1527 evtchn_owner[ev] = CPU->cpu_id; in ec_mask_evtchn()1569 return (evtchn_owner[evtchn]); in ec_block_irq()