1 #include <l4/sys/types.h> /* L4_PROTO_EXCEPTION, L4_PROTO_PAGE_FAULT */ 2 #include <l4/sys/utcb.h> /* l4_exc_regs_t */ 3 4 /* A system pager interface. */ 5 6 interface SystemPager 7 { 8 /* Handle an exception involving the given register values, returning a 9 flexpage to remedy the exception. */ 10 11 [opcode(L4_PROTO_EXCEPTION)] 12 void exception(in l4_exc_regs_t regs, out fpage region); 13 14 /* Handle a page fault involving the given page fault address and program 15 counter, returning a flexpage to provide such a mapping. */ 16 17 [opcode(L4_PROTO_PAGE_FAULT)] 18 void page_fault(in l4_umword_t pfa, in l4_umword_t pc, out fpage region); 19 };