interupt disabled in ISR

In the Nios II Software developer's handbook: "the HAL system library disables interupts when it dispatches an ISR". I've examine the file alt_irq_entry.S and alt_irq_handler.c but no pr...