Lines Matching defs:type_of_fault
628 int *type_of_fault, /* if non-null, fill in with type of fault
857 if (type_of_fault)
858 *type_of_fault = DBG_GUARD_FAULT;
1073 if (type_of_fault == NULL && m->speculative) {
1076 * "type_of_fault", than we came from
1951 if (type_of_fault)
1952 *type_of_fault = my_fault;
2009 int *type_of_fault)
2039 if ((*type_of_fault == DBG_CACHE_HIT_FAULT) && m->clustered) {
2057 *type_of_fault = DBG_PAGEIN_FAULT;
2064 if (*type_of_fault != DBG_COW_FAULT) {
2249 int type_of_fault;
2298 type_of_fault = DBG_CACHE_HIT_FAULT;
2670 &type_of_fault);
2679 &type_of_fault);
2699 if (type_of_fault == DBG_PAGEIN_FAULT) {
2816 type_of_fault = DBG_COW_FAULT;
2932 type_of_fault = vm_fault_zero_page(m, map->no_zero_fill);
3005 &type_of_fault,
3234 &type_of_fault);
3243 &type_of_fault);
3380 type_of_fault,
3610 int type_of_fault;
3740 type_of_fault = DBG_CACHE_HIT_FAULT;
3748 &type_of_fault);