per_cpu_ptr_to_phys
addr = per_cpu_ptr_to_phys(st);
return per_cpu_ptr_to_phys(get_cpu_gdt_rw(cpu));
phys_addr_t pa = per_cpu_ptr_to_phys(stack + (i << PAGE_SHIFT));
cea_set_pte(cea_vaddr, per_cpu_ptr_to_phys(ptr), prot);
phys_addr_t pa = per_cpu_ptr_to_phys((void *)va);
addr = per_cpu_ptr_to_phys(per_cpu_ptr(crash_notes, cpunum));
extern phys_addr_t per_cpu_ptr_to_phys(void *addr);
(pfn_to_gfn(per_cpu_ptr_to_phys(v) >> XEN_PAGE_SHIFT))
notes_addr = per_cpu_ptr_to_phys(per_cpu_ptr(crash_notes, cpu));