Searched refs:interrupt_type_flags (Results 1 – 3 of 3) sorted by relevance
99 uint32_t interrupt_type_flags, in set_scr_el3_from_rm() argument104 flag = get_interrupt_rm_flag(interrupt_type_flags, security_state); in set_scr_el3_from_rm()
230 uint32_t interrupt_type_flags,
Completed in 4 milliseconds