Searched refs:sec_state (Results 1 – 1 of 1) sorted by relevance
412 unsigned int sec_state; in sdei_intr_handler() local529 sec_state = get_interrupt_src_ss(flags); in sdei_intr_handler()535 sec_state, read_spsr_el3(), read_elr_el3()); in sdei_intr_handler()543 if (sec_state == SECURE) { in sdei_intr_handler()562 if (sec_state == SECURE) in sdei_intr_handler()
Completed in 27 milliseconds