Searched refs:commPagePtr32 (Results 1 – 2 of 2) sorted by relevance
88 char *commPagePtr32 = NULL; // virtual addr in kernel map of 32-bit commpage variable401 char *cp = commPagePtr32; in commpage_mach_approximate_time_init()468 void *dest = commpage_specific_addr_of(commPagePtr32, address); in commpage_update()579 &commPagePtr32, in commpage_populate()587 pmap_commpage32_init((vm_offset_t) commPagePtr32, _COMM_PAGE32_BASE_ADDRESS, in commpage_populate()775 cp = commPagePtr32; in commpage_set_memory_pressure()798 if (!commPagePtr32) { in commpage_update_active_cpus()804 cp = commPagePtr32; in commpage_update_active_cpus()833 cp = commPagePtr32; in commpage_update_kdebug_state()855 cp = commPagePtr32; in commpage_update_atm_diagnostic_config()[all …]
134 extern char *commPagePtr32; // virt address of 32-bit commpage in kerne…