coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <acpi_ivrs.h>
Data Fields | |
uint8_t | type |
uint16_t | dev_id |
uint8_t | dte_setting |
uint32_t | extended_dte_setting |
Definition at line 207 of file acpi_ivrs.h.
uint16_t ivrs_ivhd_extended::dev_id |
Definition at line 209 of file acpi_ivrs.h.
uint8_t ivrs_ivhd_extended::dte_setting |
Definition at line 210 of file acpi_ivrs.h.
uint32_t ivrs_ivhd_extended::extended_dte_setting |
Definition at line 211 of file acpi_ivrs.h.
uint8_t ivrs_ivhd_extended::type |
Definition at line 208 of file acpi_ivrs.h.