smp_init
bool (*smp_init)(void);
if (!mdesc->smp_init || !mdesc->smp_init()) {
.smp_init = smp_init_ops(vexpress_smp_init_ops),
extern void __init smp_init(void);
smp_init();