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;
1913 mach_vm_address_t commpage_addr, remap_addr; variable1918 commpage_addr = 0xFFFF4000ULL;1920 commpage_addr = 0x0000000FFFFFC000ULL;1922 commpage_addr = 0x00007FFFFFE00000ULL;1927 T_LOG("Remapping commpage from 0x%llx", commpage_addr);1936 commpage_addr,1942 T_SKIP("No mapping found at 0x%llx\n", commpage_addr);1945 T_ASSERT_MACH_SUCCESS(kr, "vm_remap() of commpage from 0x%llx", commpage_addr);