drivers/mipi: Add support for KD_KD110N11_51IE panel
[coreboot2.git] / src / soc / mediatek / common / cpu_id.c
blobe31adcdf3f840ca3f0e44d1d42540ece3cf99d93
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <console/console.h>
4 #include <device/mmio.h>
5 #include <soc/cpu_id.h>
6 #include <soc/efuse.h>
8 u32 get_cpu_id(void)
10 u32 id = read32(&mtk_efuse->cpu_id_reg);
12 printk(BIOS_INFO, "CPU: %#x\n", id);
14 return id;