1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/libsystypes/idl/system_pager.idl Tue Apr 26 16:36:17 2022 +0200
1.3 @@ -0,0 +1,19 @@
1.4 +#include <l4/sys/types.h> /* L4_PROTO_EXCEPTION, L4_PROTO_PAGE_FAULT */
1.5 +#include <l4/sys/utcb.h> /* l4_exc_regs_t */
1.6 +
1.7 +/* A system pager interface. */
1.8 +
1.9 +interface SystemPager
1.10 +{
1.11 + /* Handle an exception involving the given register values, returning a
1.12 + flexpage to remedy the exception. */
1.13 +
1.14 + [opcode(L4_PROTO_EXCEPTION)]
1.15 + void exception(in l4_exc_regs_t regs, out fpage region);
1.16 +
1.17 + /* Handle a page fault involving the given page fault address and program
1.18 + counter, returning a flexpage to provide such a mapping. */
1.19 +
1.20 + [opcode(L4_PROTO_PAGE_FAULT)]
1.21 + void page_fault(in l4_umword_t pfa, in l4_umword_t pc, out fpage region);
1.22 +};