Searched refs:fault_type (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/lib/barrelfish/
H A Ddispatch.c331 enum pagefault_exception_type fault_type; local
342 fault_type = PAGEFLT_EXEC;
344 fault_type = PAGEFLT_WRITE;
346 fault_type = PAGEFLT_READ;
356 fault_type = PAGEFLT_EXEC;
359 fault_type = PAGEFLT_WRITE;
362 fault_type = PAGEFLT_READ;
365 fault_type = PAGEFLT_NULL;
369 fault_type = PAGEFLT_NULL;
379 thread_deliver_exception_disabled(handle, EXCEPT_PAGEFAULT, fault_type,
[all...]
/barrelfish-master/include/vm/
H A Dvm_fault.c180 vm_prot_t fault_type, int fault_flags, boolean_t set_wd)
191 need_dirty = ((fault_type & VM_PROT_WRITE) != 0 &&
260 vm_fault(vm_map_t map, vm_offset_t vaddr, vm_prot_t fault_type, argument
271 ktrfault(vaddr, fault_type);
273 result = vm_fault_hold(map, trunc_page(vaddr), fault_type, fault_flags,
283 vm_fault_hold(vm_map_t map, vm_offset_t vaddr, vm_prot_t fault_type, argument
313 result = vm_map_lookup(&fs.map, vaddr, fault_type, &fs.entry,
352 fault_type = prot | (fault_type & VM_PROT_COPY);
385 fault_type | PMAP_ENTER_NOSLEE
179 vm_fault_dirty(vm_map_entry_t entry, vm_page_t m, vm_prot_t prot, vm_prot_t fault_type, int fault_flags, boolean_t set_wd) argument
[all...]
H A Dvm_extern.h82 int vm_fault_hold(vm_map_t map, vm_offset_t vaddr, vm_prot_t fault_type,
H A Dvm_map.c3978 vm_prot_t fault_type = fault_typea; local
4012 fault_type &= (VM_PROT_READ|VM_PROT_WRITE|VM_PROT_EXECUTE);
4013 if ((fault_type & prot) != fault_type || prot == VM_PROT_NONE) {
4034 fault_type = entry->protection;
4047 if ((fault_type & VM_PROT_WRITE) != 0 ||
4151 vm_prot_t fault_type = fault_typea; local
4171 fault_type &= VM_PROT_READ | VM_PROT_WRITE | VM_PROT_EXECUTE;
4172 if ((fault_type & prot) != fault_type)
[all...]

Completed in 91 milliseconds