Searched refs:PAGEFLT_WRITE (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Dexcept.h36 PAGEFLT_WRITE, ///< Write page fault enumerator in enum:pagefault_exception_type
/barrelfish-master/usr/tests/nkm/
H A Dmodify_flags.c39 assert(subtype == PAGEFLT_WRITE);
/barrelfish-master/usr/tests/pagetable/
H A Dprotect.c114 assert(subtype == PAGEFLT_WRITE);
/barrelfish-master/lib/barrelfish/
H A Ddispatch.c344 fault_type = PAGEFLT_WRITE;
359 fault_type = PAGEFLT_WRITE;
/barrelfish-master/usr/bench/cow/
H A Dvspace_cow.c21 assert(subtype == PAGEFLT_WRITE);
H A Dpmap_cow.c427 if (next_handler && subtype != PAGEFLT_WRITE) {
430 assert(subtype == PAGEFLT_WRITE);
/barrelfish-master/usr/examples/xmpl-cow/
H A Dmain.c34 assert(subtype == PAGEFLT_WRITE);
/barrelfish-master/usr/bench/mem_appel/
H A Dvmpup.c367 assert(subtype == PAGEFLT_WRITE);

Completed in 57 milliseconds