src/mainboard/intel/harcuvar/boardid.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <console/console.h>
   4
   5 #include "harcuvar_boardid.h"
   6
   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 }