Exit from WFI

Created by: suppamax

Hi,

in csr_regfile.sv I see this condition is used to exit from WFI

if (|mip_q || debug_req_i || irq_i[1]) begin
            wfi_d = 1'b0;

I don't understand why the core should be waken up in case of a pending interrupt, even if it has not been enabled via MIE, or in case of an external irq for supervisor mode, again unmasked. In case an interrupt is received, the code will continue its execution but might not enter the ISR.