coreboot-kgpe-d16/src/include/boardid.h
Angel Pons 32859fccc6 src/include: Use SPDX for GPL-2.0-only files
Done with sed and God Lines. Only done for C-like code for now.

Change-Id: I2fa3bad88bb5b068baa1cfc6bbcddaabb09da1c5
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/40053
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
2020-04-05 17:45:17 +00:00

24 lines
762 B
C

/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#ifndef __INCLUDE_BOARDID_H__
#define __INCLUDE_BOARDID_H__
#include <stdint.h>
#define UNDEFINED_STRAPPING_ID (~0)
#define BOARD_ID_UNKNOWN ~((uint32_t)0) /* unsigned equivalent to -1 */
#define BOARD_ID_INIT ~((uint32_t)1) /* unsigned equivalent to -2 */
/**
* board_id() - Get the board version
*
* Return: board version on success, BOARD_ID_UNKNOWN on failure/error.
*
* This function is used to get the mainboard version.
*/
uint32_t board_id(void); /* differentiates revisions */
uint32_t ram_code(void); /* identifies installed DRAM modules */
uint32_t sku_id(void); /* differentiates other optional components */
#endif /* __INCLUDE_BOARDID_H__ */