Searched defs:l4_utcb_t (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() argument
67 typedef struct l4_utcb_t l4_utcb_t; typedef
Completed in 3 milliseconds