Gitiles
Code Review
Sign In
review.coreboot.org
/
coreboot
/
b5df65a9aaee50421913ace6d7a4b35e0ddff676
/
.
/
src
/
mainboard
/
intel
/
harcuvar
/
boardid.c
blob: f4c6ae52082abfedebf35a0af1dc4b0da740e7b6 [
file
] [
log
] [
blame
]
/* SPDX-License-Identifier: GPL-2.0-only */
#include
<console/console.h>
#include
"harcuvar_boardid.h"
uint32_t
board_id
(
void
)
{
int
id
=
BoardIdHarcuvar
;
printk
(
BIOS_SPEW
,
"Board ID: %#x.\n"
,
id
);
return
id
;
}