HelenOS sources

PAGING            292 kernel/generic/src/interrupt/interrupt.c 		PAGING(rows, 1, irq_spinlock_unlock(&exctbl_lock, true),
PAGING            302 kernel/generic/src/interrupt/interrupt.c 		PAGING(rows, 2, irq_spinlock_unlock(&exctbl_lock, true),