7221eba1b9
Verification requires packed C structures for reasoning. While we previously updated `struct vcpu` to be packed on AArch32, on AArch64 `struct gicVCpuIface` needs extra padding. This extra padding now aligns a previously un-aligned field on AArch32, meaning that needs to go away, and the comment there adjusted. Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems> |
||
|---|---|---|
| .. | ||
| arm | ||
| riscv/arch | ||
| x86/arch | ||