Maybe we can use the two registers in the Exception IPC as Pagefault IPC