Firmware Interface Table
BIOS Specification
TXT Configuration Policy
INDEX_IO_ADDRESS
{
UINT16 Index Register Address // 0x70
UINT16 Data Register Address // 0x71
UINT8 Field Width In Bytes // = 1 - 1-byte width
// = 2 - 2-byte width
UINT8 Starting Bit Position // e.g. = 15 - BIT15
UINT16 CMOS Index // CMOS Index offset
// e.g. = 50 – byte 50
}
FLAT_MEMORY_POINTER
{
UINT64* VarPtr // *VarPtr[0] = 1 – enabled
// = 0 - disabled
}
INDEX_TPM_ADDRESS
{
UINT32 TPM NV index handle
UINT8 Field Width In Bytes // = 1 - 1-byte width
// = 2 - 2-byte width
UINT8 Starting Bit Position // e.g. = 7 - BIT7
UINT16 Byte Offset // Offset within NV index
// e.g. = 1 - byte 1
}
typedef union {
FLAT_MEMORY_POINTER FlatMemoryAddress;
INDEX_IO_ADDRESS IndexIo; // see section 4.10.1
} TXT_CONFIG_POLICY_PTR;