user_enter_irqoff
static __always_inline void user_enter_irqoff(void)
static inline void user_enter_irqoff(void) { }