Searched refs:wfi_pending (Results 1 – 1 of 1) sorted by relevance
31 unsigned int i, wfi_pending; in update_wfi_out() local33 wfi_pending = s->cpu_pwrdwn_req & s->cpu_in_wfi; in update_wfi_out()35 qemu_set_irq(s->wfi_out[i], !!(wfi_pending & (1 << i))); in update_wfi_out()