1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <console/console.h> 4 5 #include "harcuvar_boardid.h" 6 board_id(void)7 uint32_t board_id(void) 8 { 9 int id = BoardIdHarcuvar; 10 11 printk(BIOS_SPEW, "Board ID: %#x.\n", id); 12 13 return id; 14 } 15