lockdep: simplify mark_lock_irq() helpers #3