Searched refs:isr_value (Results 1 – 1 of 1) sorted by relevance
372 uint64_t isr_value; in cpu_interrupt_is_pending() local373 isr_value = __builtin_arm_rsr64("ISR_EL1"); in cpu_interrupt_is_pending()374 return isr_value != 0; in cpu_interrupt_is_pending()