Searched defs:handle_user_page_fault (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/kernel/arch/arm/
H A Dexn.c26 void handle_user_page_fault(lvaddr_t fault_address, function
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dexn.c26 void handle_user_page_fault(lvaddr_t fault_address, function

Completed in 43 milliseconds