KERN_VTOPHYS
paddr_t kernstart_phys = KERN_VTOPHYS(kernstart);
paddr_t kernend_phys = KERN_VTOPHYS(kernend);
paddr_t kernstart_phys __unused = KERN_VTOPHYS(kernstart);
paddr_t kernend_phys __unused = KERN_VTOPHYS(kernend);
paddr_t kernstart_phys = KERN_VTOPHYS(kernstart);
pa = KERN_VTOPHYS(va);
return KERN_VTOPHYS(va);
return (register_t)KERN_VTOPHYS((vaddr_t)cpu_mpstart);
(uint32_t) KERN_VTOPHYS((vaddr_t) cpu_mpstart);
KERN_VTOPHYS((vaddr_t)cpu_mpstart));
KERN_VTOPHYS((vaddr_t)cpu_mpstart));
kernelstart = KERN_VTOPHYS(kstartva);
paddr_t kernelend = KERN_VTOPHYS(kendva);
size_t textsize = KERN_VTOPHYS((uintptr_t)etext) - bmi->bmi_kernelstart;
cur_pv.pv_pa = KERN_VTOPHYS(cur_pv.pv_va);
KERN_VTOPHYS((vaddr_t)__data_start), KERN_VTOPHYS((vaddr_t)_edata),
KERN_VTOPHYS((vaddr_t)__bss_start), KERN_VTOPHYS((vaddr_t)__bss_end__),
KERN_VTOPHYS((vaddr_t)&vb_uart));
KERN_VTOPHYS((vaddr_t)&vb));
KERN_VTOPHYS((vaddr_t)cpu_mpstart));
KERN_VTOPHYS((vaddr_t)cpu_mpstart));
return KERN_VTOPHYS(va);
(uint32_t)KERN_VTOPHYS((vaddr_t)cpu_mpstart));
const paddr_t mpstart = KERN_VTOPHYS((vaddr_t)cpu_mpstart);
bus_space_write_4(bst, sysram_bsh, EXYNOS5800_SYSRAM_HOTPLUG, KERN_VTOPHYS((vaddr_t)cpu_mpstart));
const paddr_t mpstart = KERN_VTOPHYS((vaddr_t)cpu_mpstart);
SYSREG_WRITE(SYS_FLAGS, KERN_VTOPHYS((vaddr_t)cpu_mpstart));
bus_space_write_4(bst, bsh, 0, KERN_VTOPHYS((vaddr_t)cpu_mpstart));
const paddr_t mpstart = KERN_VTOPHYS((vaddr_t)cpu_mpstart);
arm32_bootmem_init(KERN_VTOPHYS(KERNEL_BASE), memsize,
const paddr_t spa = KERN_VTOPHYS((vaddr_t)__start__init_memory);
const paddr_t epa = KERN_VTOPHYS((vaddr_t)__stop__init_memory);
KERN_VTOPHYS((vaddr_t)KERNEL_BASE_virt), KERN_VTOPHYS((vaddr_t)etext-1),
KERN_VTOPHYS((vaddr_t)__data_start), KERN_VTOPHYS((vaddr_t)_edata),
KERN_VTOPHYS((vaddr_t)__bss_start), KERN_VTOPHYS((vaddr_t)__bss_end__),
physical_freestart = KERN_VTOPHYS(round_page((vaddr_t) _end));
const paddr_t entry = KERN_VTOPHYS(cpu_mpstart);
pm->pm_md.md_ppn = atop(KERN_VTOPHYS((vaddr_t)bootstrap_pde));
paddr_t kernstart_phys = KERN_VTOPHYS(kernstart);
paddr_t kernend_phys = KERN_VTOPHYS(kernend);
const paddr_t spa = KERN_VTOPHYS((vaddr_t)__start__init_memory);
const paddr_t epa = KERN_VTOPHYS((vaddr_t)__stop__init_memory);
paddr_t kernstart_phys __unused = KERN_VTOPHYS(kernstart);
paddr_t kernend_phys __unused = KERN_VTOPHYS(kernend);