/* * Copyright (C) 2016, Bin Meng * * SPDX-License-Identifier: GPL-2.0+ */ #include #include #include int arch_cpu_init(void) { int ret; post_code(POST_CPU_INIT); ret = x86_cpu_init_f(); if (ret) return ret; return 0; }