Searched refs:overflown_mask (Results 1 – 1 of 1) sorted by relevance
139 unsigned long overflown_mask; in guest_irq_handler() local150 overflown_mask = READ_ONCE(snapshot_data->ctr_overflow_mask); in guest_irq_handler()151 GUEST_ASSERT(overflown_mask & 0x01); in guest_irq_handler()