Am Mon,  5 Jul 2021 08:39:52 +0200
schrieb Michal Orzel <michal.orzel@arm.com>:

> Modify type of hsr, cpsr, spsr_el1 to uint64_t.

I think this is now commit 918b8842a852e0e7446286f546724b1c63c56c66, which fails to build:

...
diff -u reference.size tmp.size
--- reference.size      2021-06-29 10:50:32.237518309 +0200
+++ tmp.size    2021-07-06 13:58:19.052592351 +0200
@@ -4,8 +4,8 @@
 start_info                |       -       -    1112    1168
 trap_info                 |       -       -       8      16
 cpu_user_regs             |       -       -      68     200
-vcpu_guest_core_regs      |     304     304       -       -
-vcpu_guest_context        |     344     344    2800    5168
+vcpu_guest_core_regs      |     312     312       -       -
+vcpu_guest_context        |     352     352    2800    5168
 arch_vcpu_info            |       0       0      24      16
 vcpu_time_info            |      32      32      32      32
 vcpu_info                 |      48      48      64      64
gmake[2]: *** [Makefile:24: check-headers] Error 1

osstest may catch this error as well.

Olaf