SELFOUR-780: Add reserved entry to TK1 SMMU struct

This missing entry caused later entries to be offset from the actual registers in hardware.
seL4 · Jan 19, 2017 · 80d32b1 · 80d32b1
1 parent 1d8be14
commit 80d32b1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/include/plat/tk1/plat/machine/smmu.h b/include/plat/tk1/plat/machine/smmu.h
@@ -58,6 +58,7 @@ typedef struct {
     uint32_t    smmu_nv2_asid;              /* 0x26c    */
     uint32_t    smmu_ppcs_asid;             /* 0x270    */
     uint32_t    smmu_sata_asid;             /* 0x274    */
+    uint32_t    reserved7_1;                /* 0x278    */
     uint32_t    smmu_vde_asid;              /* 0x27c    */
     uint32_t    smmu_vi_asid;               /* 0x280    */
     uint32_t    smmu_vic_asid;              /* 0x284    */