// SPDX-License-Identifier: GPL-2.0+ /* * (C) Copyright 2016 Google, Inc * Written by Simon Glass */ #include #include #include #include #include int cpu_has_64bit(void) { return true; } void enable_caches(void) { /* Not implemented */ } void disable_caches(void) { /* Not implemented */ } int dcache_status(void) { return true; } int x86_mp_init(void) { /* Not implemented */ return 0; } int x86_cpu_reinit_f(void) { return 0; } int cpu_phys_address_size(void) { return CONFIG_CPU_ADDR_BITS; } int x86_cpu_init_f(void) { return 0; }