Searched refs:handle_io_page_fault (Results 1 – 4 of 4) sorted by relevance
17 void handle_io_page_fault(l4_umword_t t, l4_utcb_t *utcb, Answer *a);
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
307 handle_io_page_fault(t, utcb, &answer); in pager()
Completed in 6 milliseconds