Searched refs:__get_IPSR (Results 1 – 6 of 6) sorted by relevance
72 int32_t irq_number = __get_IPSR(); in _isr_wrapper()
256 uint32_t irq = __get_IPSR() - 16; in z_arm_irq_dynamic_direct_isr_dispatch()
123 uint32_t irq = __get_IPSR() - 16; in z_arm_irq_dynamic_direct_isr_dispatch()
69 return __get_IPSR(); in z_soc_irq_get_active()
96 return (__get_IPSR()) ? (true) : (false); in arch_is_in_isr()
80 uint32_t irqn = __get_IPSR() - 16; in z_arm_fatal_error()
