Firmware Interface Table

BIOS Specification

ID Date Version Classification
599500 03/01/2025 Public
Document Table of Contents

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

INDEX_​TPM_​ADDRESS IndexTpm;

} TXT_​CONFIG_​POLICY_​PTR;