Searched defs:disp_pagefault_disabled (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/lib/barrelfish/ | ||
H A D | dispatch.c | 426 void disp_pagefault_disabled(dispatcher_handle_t handle, lvaddr_t fault_address, function |
Completed in 29 milliseconds