From 54f4c809ae33f9e3c58b331c873bffb5a7c86193 Mon Sep 17 00:00:00 2001
From: Bill Schmidt <wschmidt@linux.ibm.com>
Date: Thu, 14 May 2020 14:22:25 -0500
Subject: [PATCH] Revise tcbhead_t for correctness wrt glibc

Fixes #97.

Signed-off-by: Bill Schmidt <wschmidt@linux.ibm.com>
---
 specification/ch_3.xml | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

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</programlisting>
       <para>The current glibc extended TCB is:</para>
       <programlisting>typedef struct {
     /* Reservation for HWCAP data. */
-        unsigned int hwcap2;
+        <phrase revisionflag="deleted">unsigned int hwcap2;</phrase>
         unsigned int hwcap; /* not used in LE ABI */
  
-    /* Indicate if HTM capable (ISA 2.07). */
+    <phrase revisionflag="deleted">/* Indicate if HTM capable (ISA 2.07). */
         int tm_capable;
-        int tm_pad;
- 
+        int tm_pad;</phrase>
+    <phrase revisionflag="added">/* Reservation for AT_PLATFORM data.  */
+        uint32_t __unused;
+        uint32_t at_platform;</phrase>
+
     /* Reservation for dynamic system optimizer ABI. */
         uintptr_t dso_slot2;
         uintptr_t dso_slot1;