cpu_mpstart
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));
KERN_VTOPHYS((vaddr_t)cpu_mpstart));
KERN_VTOPHYS((vaddr_t)cpu_mpstart));
ok = pmap_extract(pmap_kernel(), (vaddr_t)cpu_mpstart, &pa);
void cpu_mpstart(void);
(uint32_t)KERN_VTOPHYS((vaddr_t)cpu_mpstart));
const paddr_t mpstart = KERN_VTOPHYS((vaddr_t)cpu_mpstart);
ok = pmap_extract(pmap_kernel(), (vaddr_t)cpu_mpstart, &pa);
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);
const paddr_t entry = KERN_VTOPHYS(cpu_mpstart);
void cpu_mpstart(void);