diff --git a/specification/ch_3.xml b/specification/ch_3.xml
index 6085ab9..98a239b 100644
--- a/specification/ch_3.xml
+++ b/specification/ch_3.xml
@@ -5561,13 +5561,16 @@ addi r4, r4, lower
The current glibc extended TCB is:
typedef struct {
/* Reservation for HWCAP data. */
- unsigned int hwcap2;
+ unsigned int hwcap2;
unsigned int hwcap; /* not used in LE ABI */
- /* Indicate if HTM capable (ISA 2.07). */
+ /* Indicate if HTM capable (ISA 2.07). */
int tm_capable;
- int tm_pad;
-
+ int tm_pad;
+ /* Reservation for AT_PLATFORM data. */
+ uint32_t __unused;
+ uint32_t at_platform;
+
/* Reservation for dynamic system optimizer ABI. */
uintptr_t dso_slot2;
uintptr_t dso_slot1;