Searched refs:RegReadVal (Results 1 – 1 of 1) sorted by relevance
294 uint32_t RegReadVal = 0; in undefined_handler() local303 RegReadVal = csr_read(CSR_MIE); in undefined_handler()304 if ((RegReadVal & BIT(mcause)) != 0) // Check if the event interrupt mask is open. in undefined_handler()
Completed in 7 milliseconds