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