Searched defs:handle_io_page_fault (Results 1 – 2 of 2) sorted by relevance
22 void handle_io_page_fault(l4_umword_t /*t*/, l4_utcb_t * /*utcb*/, Answer *a) in handle_io_page_fault() function
34 void handle_io_page_fault(l4_umword_t t, l4_utcb_t *utcb, Answer *a) in handle_io_page_fault() function
Completed in 3 milliseconds