src/ec/google/wilco/boardid.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

#include <boardid.h>
#include "commands.h"

uint32_t board_id(void)
{
	MAYBE_STATIC_NONZERO uint32_t id = BOARD_ID_INIT;

	if (id == BOARD_ID_INIT) {
		uint8_t ec_id;
		if (wilco_ec_get_board_id(&ec_id) <= 0)
			id = BOARD_ID_UNKNOWN;
		else
			id = ec_id;
	}

	return id;
}