coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
ecfw_ptr.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _EC_HP_KBC1126_PTR_H
4 #define _EC_HP_KBC1126_PTR_H
5 
6 #include <stdint.h>
7 
8 struct __attribute__((__packed__)) ecfw_addr {
9  /* 8-byte offset of firmware blob in big endian */
11  /* bitwise inverse of "off", for error checking */
12  uint16_t inv;
13 };
14 
15 struct __attribute__((__packed__)) ecfw_ptr {
16  struct ecfw_addr fw1;
17  struct ecfw_addr fw2;
18 };
19 
20 #endif
unsigned short uint16_t
Definition: stdint.h:11
uint16_t off
Definition: ecfw_ptr.h:10