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