1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Copyright (C) 2016, Bin Meng <bmeng.cn@gmail.com>
4  */
5 
6 #include <common.h>
7 #include <init.h>
8 #include <asm/post.h>
9 #include <asm/processor.h>
10 
arch_cpu_init(void)11 int arch_cpu_init(void)
12 {
13 	post_code(POST_CPU_INIT);
14 
15 	return x86_cpu_init_f();
16 }
17