Lines Matching refs:trace_vaddr
4258 vm_map_offset_t trace_vaddr; in vm_fault_internal() local
4318 trace_vaddr = VM_KERNEL_ADDRHIDE(vaddr); in vm_fault_internal()
4321 trace_vaddr = vaddr; in vm_fault_internal()
4326 ((uint64_t)trace_vaddr >> 32), in vm_fault_internal()
4327 trace_vaddr, in vm_fault_internal()
4333 ((uint64_t)trace_vaddr >> 32), in vm_fault_internal()
4334 trace_vaddr, in vm_fault_internal()
4346 ((uint64_t)trace_vaddr >> 32), in vm_fault_internal()
4347 trace_vaddr, in vm_fault_internal()
6654 vm_record_rtfault(cthread, fstart, trace_vaddr, type_of_fault); in vm_fault_internal()
6659 ((uint64_t)trace_vaddr >> 32), in vm_fault_internal()
6660 trace_vaddr, in vm_fault_internal()