Searched refs:commPagePtr32 (Results 1 – 2 of 2) sorted by relevance
88 char *commPagePtr32 = NULL; // virtual addr in kernel map of 32-bit commpage variable405 char *cp = commPagePtr32; in commpage_mach_approximate_time_init()472 void *dest = commpage_specific_addr_of(commPagePtr32, address); in commpage_update()577 &commPagePtr32, in commpage_populate()585 pmap_commpage32_init((vm_offset_t) commPagePtr32, _COMM_PAGE32_BASE_ADDRESS, in commpage_populate()773 cp = commPagePtr32; in commpage_set_memory_pressure()796 if (!commPagePtr32) { in commpage_update_active_cpus()802 cp = commPagePtr32; in commpage_update_active_cpus()831 cp = commPagePtr32; in commpage_update_kdebug_state()853 cp = commPagePtr32; in commpage_update_atm_diagnostic_config()[all …]
134 extern char *commPagePtr32; // virt address of 32-bit commpage in kerne…