Searched refs:commpage_addr (Results 1 – 2 of 2) sorted by relevance
71 COMM_PAGE_SLOT_TYPE(uint64_t) commpage_addr = COMM_PAGE_SLOT(uint64_t, CPU_QUIESCENT_COUNTER);73 T_LOG("address of _COMM_PAGE_CPU_QUIESCENT_COUNTER is %p", commpage_addr);75 uint64_t counter = *commpage_addr;83 counter = *commpage_addr;
1778 mach_vm_address_t commpage_addr, remap_addr; variable1783 commpage_addr = 0xFFFF4000ULL;1785 commpage_addr = 0x0000000FFFFFC000ULL;1787 commpage_addr = 0x00007FFFFFE00000ULL;1792 T_LOG("Remapping commpage from 0x%llx", commpage_addr);1801 commpage_addr,1807 T_SKIP("No mapping found at 0x%llx\n", commpage_addr);1810 T_ASSERT_MACH_SUCCESS(kr, "vm_remap() of commpage from 0x%llx", commpage_addr);