Searched refs:ex_stack_top (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/lib/pager/ |
H A D | pager.c | 88 char *ex_stack_top = NULL; local 90 ex_stack_top = ex_stack + stack_size; 93 ex_stack_top = ex_stack + INTERNAL_STACK_SIZE; 96 assert(ex_stack_top); 103 ex_stack, ex_stack_top, &old_stack_base, &old_stack_top);
|
/barrelfish-master/usr/tests/nkm/ |
H A D | vnode_inherit.c | 29 static char *ex_stack_top = ex_stack + EX_STACK_SIZE; variable 107 err = thread_set_exception_handler(exhandler, NULL, ex_stack, ex_stack_top,
|
/barrelfish-master/lib/demandpaging/ |
H A D | demandpaging.c | 379 void *ex_stack_top = ex_stack + stack_size; local 382 ex_stack_top, ex_stack); 384 err = thread_set_exception_handler(exn_handler, NULL, ex_stack, ex_stack_top,
|
Completed in 81 milliseconds