Searched refs:exn_handler (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/lib/pager/ |
H A D | pager.c | 63 static void exn_handler(enum exception_type type, int subtype, function 66 printf("exn_handler: exception type=%d, subtype=%d, addr=%p\n", 77 printf("exn_handler: don't know what to do with exception type %d\n", type); 102 err = thread_set_exception_handler(exn_handler, &old_handler,
|
/barrelfish-master/lib/demandpaging/ |
H A D | demandpaging.c | 270 static void exn_handler(enum exception_type type, int subtype, function 381 DP_DEBUG_MGMT("[init] stack top=%p, stackbase=%p\n", exn_handler, 384 err = thread_set_exception_handler(exn_handler, NULL, ex_stack, ex_stack_top,
|
Completed in 25 milliseconds