commit c4e061572c9acd2915fa5f1dee10353db391e45a
author Kent McLeod <Kent.Mcleod@data61.csiro.au> Wed Nov 20 14:33:26 2019 +1100
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> Wed Nov 20 14:51:09 2019 +1100
tree dbfd53ae50038eda11510eca6d0c653a2272f414
parent 586ab96254fc5af6bb1a7bab0b0ad6cacf1dfe87

trivial: Add missing register to list

libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h

diff --git a/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h b/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h
index 57d0732..8235d7d 100644
--- a/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h
+++ b/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h
@@ -52,6 +52,7 @@
     "x27",
     "x28",
     "tpidr_el0",
+    "tpidrro_el0"
 };
 
 /* assert that register_names correspond to seL4_UserContext */
@@ -89,5 +90,6 @@
 compile_time_assert(x26_correct_position, offsetof(seL4_UserContext, x26)         == 31 * sizeof(seL4_Word));
 compile_time_assert(x27_correct_position, offsetof(seL4_UserContext, x27)         == 32 * sizeof(seL4_Word));
 compile_time_assert(x28_correct_position, offsetof(seL4_UserContext, x28)         == 33 * sizeof(seL4_Word));
-compile_time_assert(x28_correct_position, offsetof(seL4_UserContext, tpidr_el0)   == 34 * sizeof(seL4_Word));
+compile_time_assert(tpidr_el0_correct_position, offsetof(seL4_UserContext, tpidr_el0)   == 34 * sizeof(seL4_Word));
+compile_time_assert(tpidrro_el0_correct_position, offsetof(seL4_UserContext, tpidrro_el0)   == 35 * sizeof(seL4_Word));