Fixed the way the interrupt handlers see the regs parameter.
It's supposed to be a pointer.
Not able to get the contents of the pointer in the page fault handler.