Searched refs:irq_iter (Results 1 – 1 of 1) sorted by relevance
182 uint32_t irq_iter, config_iter; in guest_run_stage() local195 irq_iter = READ_ONCE(shared_data->nr_iter); in guest_run_stage()196 GUEST_ASSERT_EQ(config_iter + 1, irq_iter); in guest_run_stage()