Searched refs:thread_deliver_exception_disabled (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/lib/barrelfish/include/
H A Dthreads_priv.h125 void thread_deliver_exception_disabled(dispatcher_handle_t handle,
/barrelfish-2018-10-04/lib/barrelfish/
H A Ddispatch.c357 thread_deliver_exception_disabled(handle, EXCEPT_PAGEFAULT, fault_type,
485 thread_deliver_exception_disabled(handle, type, irq, (void *)ip, regs);
H A Dthreads.c1451 void thread_deliver_exception_disabled(dispatcher_handle_t handle, function

Completed in 34 milliseconds