Searched defs:physaddr (Results 1 – 5 of 5) sorted by relevance
40 uint64_t physaddr[2]; member
118 uint64_t physaddr; member
94 PE_consistent_debug_register(uint64_t record_id, uint64_t physaddr, uint64_t length) in PE_consistent_debug_register()
88 uint64_t physaddr; // System physical address of entry member
2045 ml_physaddr_in_bootkc_range(vm_offset_t physaddr) in ml_physaddr_in_bootkc_range()