Searched refs:commPagePtr32 (Results 1 – 2 of 2) sorted by relevance
90 char *commPagePtr32 = NULL; // virtual addr in kernel map of 32-bit commpage variable403 char *cp = commPagePtr32; in commpage_mach_approximate_time_init()470 void *dest = commpage_specific_addr_of(commPagePtr32, address); in commpage_update()581 &commPagePtr32, in commpage_populate()589 pmap_commpage32_init((vm_offset_t) commPagePtr32, _COMM_PAGE32_BASE_ADDRESS, in commpage_populate()818 cp = commPagePtr32; in commpage_set_memory_pressure()841 if (!commPagePtr32) { in commpage_update_active_cpus()847 cp = commPagePtr32; in commpage_update_active_cpus()876 cp = commPagePtr32; in commpage_update_kdebug_state()898 cp = commPagePtr32; in commpage_update_atm_diagnostic_config()[all …]
134 extern char *commPagePtr32; // virt address of 32-bit commpage in kerne…