mp_cpu_start
int mp_cpu_start(struct cpu_info *, paddr_t);
const struct cpu_functions mp_cpu_funcs = { mp_cpu_start, NULL,
int mp_cpu_start(struct cpu_info *, vaddr_t);
const struct cpu_functions mp_cpu_funcs = { mp_cpu_start, NULL,