Searched refs:fault_vaddr (Results 1 – 1 of 1) sorted by relevance
8067 vm_record_rtfault(thread_t cthread, uint64_t fstart, vm_map_offset_t fault_vaddr, int type_of_fault) in vm_record_rtfault() argument8101 cvmr->rtfaddr = fault_vaddr; in vm_record_rtfault()