m8820x_initialize_cpu
void m8820x_initialize_cpu(cpuid_t);
m8820x_initialize_cpu,
m8820x_initialize_cpu(cpu);