Searched refs:EXCEPT_PAGEFAULT (Results 1 - 10 of 10) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Dexcept.h25 EXCEPT_PAGEFAULT, ///< Page fault (or other memory access fault) enumerator in enum:exception_type
/barrelfish-master/lib/pager/
H A Dpager.c69 if (type == EXCEPT_PAGEFAULT) {
/barrelfish-master/usr/tests/nkm/
H A Dmodify_flags.c37 assert(type == EXCEPT_PAGEFAULT);
/barrelfish-master/usr/tests/pagetable/
H A Dprotect.c113 assert(type == EXCEPT_PAGEFAULT);
/barrelfish-master/usr/bench/cow/
H A Dvspace_cow.c20 assert(type == EXCEPT_PAGEFAULT);
H A Dpmap_cow.c423 if (next_handler && type != EXCEPT_PAGEFAULT) {
426 assert(type == EXCEPT_PAGEFAULT);
/barrelfish-master/usr/examples/xmpl-cow/
H A Dmain.c33 assert(type == EXCEPT_PAGEFAULT);
/barrelfish-master/lib/barrelfish/
H A Ddispatch.c379 thread_deliver_exception_disabled(handle, EXCEPT_PAGEFAULT, fault_type,
/barrelfish-master/usr/bench/mem_appel/
H A Dvmpup.c366 assert(type == EXCEPT_PAGEFAULT);
/barrelfish-master/lib/demandpaging/
H A Ddemandpaging.c274 if (type == EXCEPT_PAGEFAULT) {

Completed in 59 milliseconds