![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <txt_register.h>
Data Fields | |
uint32_t | type |
uint32_t | size |
uint8_t | data [0] |
Definition at line 237 of file txt_register.h.
uint8_t txt_extended_data_element_header::data[0] |
Definition at line 240 of file txt_register.h.
Referenced by txt_heap_push_bdr_for_one_acm(), and txt_heap_push_bdr_for_two_acms().
uint32_t txt_extended_data_element_header::size |
Definition at line 239 of file txt_register.h.
Referenced by txt_heap_fill_bios_spec().
uint32_t txt_extended_data_element_header::type |
Definition at line 238 of file txt_register.h.
Referenced by txt_heap_fill_bios_spec().