Searched refs:trace_vaddr (Results 1 – 1 of 1) sorted by relevance
4107 vm_map_offset_t trace_vaddr; in vm_fault_internal() local4166 trace_vaddr = VM_KERNEL_ADDRHIDE(vaddr); in vm_fault_internal()4169 trace_vaddr = vaddr; in vm_fault_internal()4174 ((uint64_t)trace_vaddr >> 32), in vm_fault_internal()4175 trace_vaddr, in vm_fault_internal()4181 ((uint64_t)trace_vaddr >> 32), in vm_fault_internal()4182 trace_vaddr, in vm_fault_internal()6316 vm_record_rtfault(cthread, fstart, trace_vaddr, type_of_fault); in vm_fault_internal()6321 ((uint64_t)trace_vaddr >> 32), in vm_fault_internal()6322 trace_vaddr, in vm_fault_internal()