Use:

   with_lock(irq_lock, [] {
      stuff done with interrupts disabled, including early return stmts
   });