46 	unsigned int key;  in arch_irq_lock()  local
50 	key = __get_PRIMASK();  in arch_irq_lock()
56 	key = __get_BASEPRI();  in arch_irq_lock()
65 		: "=r" (key)  in arch_irq_lock()
72 	return key;  in arch_irq_lock()
80 static ALWAYS_INLINE void arch_irq_unlock(unsigned int key)  in arch_irq_unlock()  argument
83 	if (key != 0U) {  in arch_irq_unlock()
89 	__set_BASEPRI(key);  in arch_irq_unlock()
93 	if (key != 0U) {  in arch_irq_unlock()
102 static ALWAYS_INLINE bool arch_irq_unlocked(unsigned int key)  in arch_irq_unlocked()  argument
105 	return key == 0U;  in arch_irq_unlocked()