/tmp/env_c.txt /tmp/env_cpp.txt
type = struct CPUARMState {
/*    0      |    64 */    uint32_t regs[16];
/*   64      |   256 */    uint64_t xregs[32];
/*  320      |     8 */    uint64_t pc;
/*  328      |     4 */    uint32_t pstate;
/*  332      |     4 */    uint32_t aarch64;
/*  336      |     4 */    uint32_t uncached_cpsr;
/*  340      |     4 */    uint32_t spsr;
/*  344      |    64 */    uint64_t banked_spsr[8];
/*  408      |    32 */    uint32_t banked_r13[8];
/*  440      |    32 */    uint32_t banked_r14[8];
/*  472      |    20 */    uint32_t usr_regs[5];
/*  492      |    20 */    uint32_t fiq_regs[5];
/*  512      |     4 */    uint32_t CF;
/*  516      |     4 */    uint32_t VF;
/*  520      |     4 */    uint32_t NF;
/*  524      |     4 */    uint32_t ZF;
/*  528      |     4 */    uint32_t QF;
/*  532      |     4 */    uint32_t GE;
/*  536      |     4 */    uint32_t thumb;
/*  540      |     4 */    uint32_t condexec_bits;
/*  544      |     8 */    uint64_t daif;
/*  552      |    32 */    uint64_t elr_el[4];
/*  584      |    32 */    uint64_t sp_el[4];
/*  616      |  1432 */    struct {
/*  616      |     4 */        uint32_t c0_cpuid;
/* XXX  4-byte hole  */
/*  624      |    32 */        union {
/*                32 */            struct {
/*  624      |     8 */                uint64_t _unused_csselr0;
/*  632      |     8 */                uint64_t csselr_ns;
/*  640      |     8 */                uint64_t _unused_csselr1;
/*  648      |     8 */                uint64_t csselr_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t csselr_el[4];
/* XXX 24-byte padding  */

                                   /* total size (bytes):   32 */
                               };
/*  656      |    32 */        union {
/*                32 */            struct {
/*  656      |     8 */                uint64_t _unused_sctlr;
/*  664      |     8 */                uint64_t sctlr_ns;
/*  672      |     8 */                uint64_t hsctlr;
/*  680      |     8 */                uint64_t sctlr_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t sctlr_el[4];

                                   /* total size (bytes):   32 */
                               };
/*  688      |     8 */        uint64_t cpacr_el1;
/*  696      |    32 */        uint64_t cptr_el[4];
/*  728      |     4 */        uint32_t c1_xscaleauxcr;
/* XXX  4-byte hole  */
/*  736      |     8 */        uint64_t sder;
/*  744      |     4 */        uint32_t nsacr;
/* XXX  4-byte hole  */
/*  752      |    32 */        union {
/*                32 */            struct {
/*  752      |     8 */                uint64_t _unused_ttbr0_0;
/*  760      |     8 */                uint64_t ttbr0_ns;
/*  768      |     8 */                uint64_t _unused_ttbr0_1;
/*  776      |     8 */                uint64_t ttbr0_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t ttbr0_el[4];

                                   /* total size (bytes):   32 */
                               };
/*  784      |    32 */        union {
/*                32 */            struct {
/*  784      |     8 */                uint64_t _unused_ttbr1_0;
/*  792      |     8 */                uint64_t ttbr1_ns;
/*  800      |     8 */                uint64_t _unused_ttbr1_1;
/*  808      |     8 */                uint64_t ttbr1_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t ttbr1_el[4];

                                   /* total size (bytes):   32 */
                               };
/*  816      |     8 */        uint64_t vttbr_el2;
/*  824      |    64 */        TCR tcr_el[4];
/*  888      |    16 */        TCR vtcr_el2;
/*  904      |     4 */        uint32_t c2_data;
/*  908      |     4 */        uint32_t c2_insn;
/*  912      |    16 */        union {
/*                16 */            struct {
/*  912      |     8 */                uint64_t dacr_ns;
/*  920      |     8 */                uint64_t dacr_s;

                                       /* total size (bytes):   16 */
                                   };
/*                 8 */            struct {
/*  912      |     8 */                uint64_t dacr32_el2;

                                       /* total size (bytes):    8 */
                                   };

                                   /* total size (bytes):   16 */
                               };
/*  928      |     4 */        uint32_t pmsav5_data_ap;
/*  932      |     4 */        uint32_t pmsav5_insn_ap;
/*  936      |     8 */        uint64_t hcr_el2;
/*  944      |     8 */        uint64_t scr_el3;
/*  952      |    16 */        union {
/*                16 */            struct {
/*  952      |     8 */                uint64_t ifsr_ns;
/*  960      |     8 */                uint64_t ifsr_s;

                                       /* total size (bytes):   16 */
                                   };
/*                 8 */            struct {
/*  952      |     8 */                uint64_t ifsr32_el2;

                                       /* total size (bytes):    8 */
                                   };

                                   /* total size (bytes):   16 */
                               };
/*  968      |    32 */        union {
/*                32 */            struct {
/*  968      |     8 */                uint64_t _unused_dfsr;
/*  976      |     8 */                uint64_t dfsr_ns;
/*  984      |     8 */                uint64_t hsr;
/*  992      |     8 */                uint64_t dfsr_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t esr_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1000      |    32 */        uint32_t c6_region[8];
/* 1032      |    32 */        union {
/*                32 */            struct {
/* 1032      |     8 */                uint64_t _unused_far0;
/* 1040      |     4 */                uint32_t dfar_ns;
/* 1044      |     4 */                uint32_t ifar_ns;
/* 1048      |     4 */                uint32_t dfar_s;
/* 1052      |     4 */                uint32_t ifar_s;
/* 1056      |     8 */                uint64_t _unused_far3;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t far_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1064      |     8 */        uint64_t hpfar_el2;
/* 1072      |     8 */        uint64_t hstr_el2;
/* 1080      |    32 */        union {
/*                32 */            struct {
/* 1080      |     8 */                uint64_t _unused_par_0;
/* 1088      |     8 */                uint64_t par_ns;
/* 1096      |     8 */                uint64_t _unused_par_1;
/* 1104      |     8 */                uint64_t par_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t par_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1112      |     4 */        uint32_t c6_rgnr;
/* 1116      |     4 */        uint32_t c9_insn;
/* 1120      |     4 */        uint32_t c9_data;
/* XXX  4-byte hole  */
/* 1128      |     8 */        uint64_t c9_pmcr;
/* 1136      |     8 */        uint64_t c9_pmcnten;
/* 1144      |     4 */        uint32_t c9_pmovsr;
/* 1148      |     4 */        uint32_t c9_pmxevtyper;
/* 1152      |     4 */        uint32_t c9_pmuserenr;
/* 1156      |     4 */        uint32_t c9_pminten;
/* 1160      |    32 */        union {
/*                32 */            struct {
/* 1160      |     8 */                uint64_t _unused_mair_0;
/* 1168      |     4 */                uint32_t mair0_ns;
/* 1172      |     4 */                uint32_t mair1_ns;
/* 1176      |     8 */                uint64_t _unused_mair_1;
/* 1184      |     4 */                uint32_t mair0_s;
/* 1188      |     4 */                uint32_t mair1_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t mair_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1192      |    32 */        union {
/*                32 */            struct {
/* 1192      |     8 */                uint64_t _unused_vbar;
/* 1200      |     8 */                uint64_t vbar_ns;
/* 1208      |     8 */                uint64_t hvbar;
/* 1216      |     8 */                uint64_t vbar_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t vbar_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1224      |     4 */        uint32_t mvbar;
/* 1228      |     8 */        struct {
/* 1228      |     4 */            uint32_t fcseidr_ns;
/* 1232      |     4 */            uint32_t fcseidr_s;

                                   /* total size (bytes):    8 */
                               };
/* XXX  4-byte hole  */
/* 1240      |    32 */        union {
/*                32 */            struct {
/* 1240      |     8 */                uint64_t _unused_contextidr_0;
/* 1248      |     8 */                uint64_t contextidr_ns;
/* 1256      |     8 */                uint64_t _unused_contextidr_1;
/* 1264      |     8 */                uint64_t contextidr_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t contextidr_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1272      |    32 */        union {
/*                32 */            struct {
/* 1272      |     8 */                uint64_t tpidrurw_ns;
/* 1280      |     8 */                uint64_t tpidrprw_ns;
/* 1288      |     8 */                uint64_t htpidr;
/* 1296      |     8 */                uint64_t _tpidr_el3;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t tpidr_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1304      |     8 */        uint64_t tpidrurw_s;
/* 1312      |     8 */        uint64_t tpidrprw_s;
/* 1320      |     8 */        uint64_t tpidruro_s;
/* 1328      |     8 */        union {
/*                 8 */            uint64_t tpidruro_ns;
/*                 8 */            uint64_t tpidrro_el[1];

                                   /* total size (bytes):    8 */
                               };
/* 1336      |     8 */        uint64_t c14_cntfrq;
/* 1344      |     8 */        uint64_t c14_cntkctl;
/* 1352      |     4 */        uint32_t cnthctl_el2;
/* XXX  4-byte hole  */
/* 1360      |     8 */        uint64_t cntvoff_el2;
/* 1368      |    64 */        ARMGenericTimer c14_timer[4];
/* 1432      |     4 */        uint32_t c15_cpar;
/* 1436      |     4 */        uint32_t c15_ticonfig;
/* 1440      |     4 */        uint32_t c15_i_max;
/* 1444      |     4 */        uint32_t c15_i_min;
/* 1448      |     4 */        uint32_t c15_threadid;
/* 1452      |     4 */        uint32_t c15_config_base_address;
/* 1456      |     4 */        uint32_t c15_diagnostic;
/* 1460      |     4 */        uint32_t c15_power_diagnostic;
/* 1464      |     4 */        uint32_t c15_power_control;
/* XXX  4-byte hole  */
/* 1472      |   128 */        uint64_t dbgbvr[16];
/* 1600      |   128 */        uint64_t dbgbcr[16];
/* 1728      |   128 */        uint64_t dbgwvr[16];
/* 1856      |   128 */        uint64_t dbgwcr[16];
/* 1984      |     8 */        uint64_t mdscr_el1;
/* 1992      |     8 */        uint64_t oslsr_el1;
/* 2000      |     8 */        uint64_t mdcr_el2;
/* 2008      |     8 */        uint64_t mdcr_el3;
/* 2016      |     8 */        uint64_t c15_ccnt;
/* 2024      |     8 */        uint64_t pmccfiltr_el0;
/* 2032      |     8 */        uint64_t vpidr_el2;
/* 2040      |     8 */        uint64_t vmpidr_el2;

                               /* total size (bytes): 1432 */
                           } cp15;
/* 2048      |    44 */    struct {
/* 2048      |     4 */        uint32_t other_sp;
/* 2052      |     4 */        uint32_t vecbase;
/* 2056      |     4 */        uint32_t basepri;
/* 2060      |     4 */        uint32_t control;
/* 2064      |     4 */        uint32_t ccr;
/* 2068      |     4 */        uint32_t cfsr;
/* 2072      |     4 */        uint32_t hfsr;
/* 2076      |     4 */        uint32_t dfsr;
/* 2080      |     4 */        uint32_t mmfar;
/* 2084      |     4 */        uint32_t bfar;
/* 2088      |     4 */        int exception;

                               /* total size (bytes):   44 */
                           } v7m;
/* XXX  4-byte hole  */
/* 2096      |    24 */    struct {
/* 2096      |     4 */        uint32_t syndrome;
/* 2100      |     4 */        uint32_t fsr;
/* 2104      |     8 */        uint64_t vaddress;
/* 2112      |     4 */        uint32_t target_el;
/* XXX  4-byte padding  */

                               /* total size (bytes):   24 */
                           } exception;
/* 2120      |     4 */    uint32_t teecr;
/* 2124      |     4 */    uint32_t teehbr;
/* 2128      |   632 */    struct {
/* 2128      |   512 */        float64 regs[64];
/* 2640      |    64 */        uint32_t xregs[16];
/* 2704      |     4 */        int vec_len;
/* 2708      |     4 */        int vec_stride;
/* 2712      |    32 */        uint32_t scratch[8];
/* 2744      |     8 */        float_status fp_status;
/* 2752      |     8 */        float_status standard_fp_status;

                               /* total size (bytes):  632 */
                           } vfp;
/* 2760      |     8 */    uint64_t exclusive_addr;
/* 2768      |     8 */    uint64_t exclusive_val;
/* 2776      |     8 */    uint64_t exclusive_high;
/* 2784      |   200 */    struct {
/* 2784      |   128 */        uint64_t regs[16];
/* 2912      |     8 */        uint64_t val;
/* 2920      |    64 */        uint32_t cregs[16];

                               /* total size (bytes):  200 */
                           } iwmmxt;
/* 2984      |   128 */    struct CPUBreakpoint *cpu_breakpoint[16];                                                                                                                                                                                          
/* 3112      |   128 */    struct CPUWatchpoint *cpu_watchpoint[16];                                                                                                                                                                                          
/* 3240      |     0 */    struct {                                                                                                                                                                                                                           
        <no data fields>

                               /* total size (bytes):    0 */                                                                                                                                                                                                 
                           } end_reset_fields;
/* 3240      |  57344 */    CPUTLBEntry tlb_table[7][256];                                                                                                                                                                                                    
/* 60584      |  1792 */    CPUTLBEntry tlb_v_table[7][8];                                                                                                                                                                                                    
/* 62376      |  28672 */    CPUIOTLBEntry iotlb[7][256];                                                                                                                                                                                                     
/* 91048      |   896 */    CPUIOTLBEntry iotlb_v[7][8];                                                                                                                                                                                                      
/* 91944      |     4 */    target_ulong tlb_flush_addr;                                                                                                                                                                                                      
/* 91948      |     4 */    target_ulong tlb_flush_mask;                                                                                                                                                                                                      
/* 91952      |     4 */    target_ulong vtlb_index;                                                                                                                                                                                                          
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
/* XXX  4-byte hole  */
/* 91960      |     8 */    uint64_t features;                                                                                                                                                                                                                
/* 91968      |    24 */    struct {                                                                                                                                                                                                                          
/* 91968      |     8 */        uint32_t *drbar;                                                                                                                                                                                                              
/* 91976      |     8 */        uint32_t *drsr;                                                                                                                                                                                                               
/* 91984      |     8 */        uint32_t *dracr;                                                                                                                                                                                                              

                               /* total size (bytes):   24 */
                           } pmsav7;
/* 91992      |     8 */    void *nvic;                                                                                                                                                                                                                       
/* 92000      |     8 */    const struct arm_boot_info *boot_info;                                                                                                                                                                                            

                           /* total size (bytes): 92008 */                                                                                                                                                                                                    
                         } *
type = struct CPUARMState {
/*    0      |    64 */    uint32_t regs[16];
/*   64      |   256 */    uint64_t xregs[32];
/*  320      |     8 */    uint64_t pc;
/*  328      |     4 */    uint32_t pstate;
/*  332      |     4 */    uint32_t aarch64;
/*  336      |     4 */    uint32_t uncached_cpsr;
/*  340      |     4 */    uint32_t spsr;
/*  344      |    64 */    uint64_t banked_spsr[8];
/*  408      |    32 */    uint32_t banked_r13[8];
/*  440      |    32 */    uint32_t banked_r14[8];
/*  472      |    20 */    uint32_t usr_regs[5];
/*  492      |    20 */    uint32_t fiq_regs[5];
/*  512      |     4 */    uint32_t CF;
/*  516      |     4 */    uint32_t VF;
/*  520      |     4 */    uint32_t NF;
/*  524      |     4 */    uint32_t ZF;
/*  528      |     4 */    uint32_t QF;
/*  532      |     4 */    uint32_t GE;
/*  536      |     4 */    uint32_t thumb;
/*  540      |     4 */    uint32_t condexec_bits;
/*  544      |     8 */    uint64_t daif;
/*  552      |    32 */    uint64_t elr_el[4];
/*  584      |    32 */    uint64_t sp_el[4];
/*  616      |  1432 */    struct {
/*  616      |     4 */        uint32_t c0_cpuid;
/* XXX  4-byte hole  */
/*  624      |    32 */        union {
/*                32 */            struct {
/*  624      |     8 */                uint64_t _unused_csselr0;
/*  632      |     8 */                uint64_t csselr_ns;
/*  640      |     8 */                uint64_t _unused_csselr1;
/*  648      |     8 */                uint64_t csselr_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t csselr_el[4];
/* XXX 24-byte padding  */

                                   /* total size (bytes):   32 */
                               };
/*  656      |    32 */        union {
/*                32 */            struct {
/*  656      |     8 */                uint64_t _unused_sctlr;
/*  664      |     8 */                uint64_t sctlr_ns;
/*  672      |     8 */                uint64_t hsctlr;
/*  680      |     8 */                uint64_t sctlr_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t sctlr_el[4];

                                   /* total size (bytes):   32 */
                               };
/*  688      |     8 */        uint64_t cpacr_el1;
/*  696      |    32 */        uint64_t cptr_el[4];
/*  728      |     4 */        uint32_t c1_xscaleauxcr;
/* XXX  4-byte hole  */
/*  736      |     8 */        uint64_t sder;
/*  744      |     4 */        uint32_t nsacr;
/* XXX  4-byte hole  */
/*  752      |    32 */        union {
/*                32 */            struct {
/*  752      |     8 */                uint64_t _unused_ttbr0_0;
/*  760      |     8 */                uint64_t ttbr0_ns;
/*  768      |     8 */                uint64_t _unused_ttbr0_1;
/*  776      |     8 */                uint64_t ttbr0_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t ttbr0_el[4];

                                   /* total size (bytes):   32 */
                               };
/*  784      |    32 */        union {
/*                32 */            struct {
/*  784      |     8 */                uint64_t _unused_ttbr1_0;
/*  792      |     8 */                uint64_t ttbr1_ns;
/*  800      |     8 */                uint64_t _unused_ttbr1_1;
/*  808      |     8 */                uint64_t ttbr1_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t ttbr1_el[4];

                                   /* total size (bytes):   32 */
                               };
/*  816      |     8 */        uint64_t vttbr_el2;
/*  824      |    64 */        TCR tcr_el[4];
/*  888      |    16 */        TCR vtcr_el2;
/*  904      |     4 */        uint32_t c2_data;
/*  908      |     4 */        uint32_t c2_insn;
/*  912      |    16 */        union {
/*                16 */            struct {
/*  912      |     8 */                uint64_t dacr_ns;
/*  920      |     8 */                uint64_t dacr_s;

                                       /* total size (bytes):   16 */
                                   };
/*                 8 */            struct {
/*  912      |     8 */                uint64_t dacr32_el2;

                                       /* total size (bytes):    8 */
                                   };

                                   /* total size (bytes):   16 */
                               };
/*  928      |     4 */        uint32_t pmsav5_data_ap;
/*  932      |     4 */        uint32_t pmsav5_insn_ap;
/*  936      |     8 */        uint64_t hcr_el2;
/*  944      |     8 */        uint64_t scr_el3;
/*  952      |    16 */        union {
/*                16 */            struct {
/*  952      |     8 */                uint64_t ifsr_ns;
/*  960      |     8 */                uint64_t ifsr_s;

                                       /* total size (bytes):   16 */
                                   };
/*                 8 */            struct {
/*  952      |     8 */                uint64_t ifsr32_el2;

                                       /* total size (bytes):    8 */
                                   };

                                   /* total size (bytes):   16 */
                               };
/*  968      |    32 */        union {
/*                32 */            struct {
/*  968      |     8 */                uint64_t _unused_dfsr;
/*  976      |     8 */                uint64_t dfsr_ns;
/*  984      |     8 */                uint64_t hsr;
/*  992      |     8 */                uint64_t dfsr_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t esr_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1000      |    32 */        uint32_t c6_region[8];
/* 1032      |    32 */        union {
/*                32 */            struct {
/* 1032      |     8 */                uint64_t _unused_far0;
/* 1040      |     4 */                uint32_t dfar_ns;
/* 1044      |     4 */                uint32_t ifar_ns;
/* 1048      |     4 */                uint32_t dfar_s;
/* 1052      |     4 */                uint32_t ifar_s;
/* 1056      |     8 */                uint64_t _unused_far3;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t far_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1064      |     8 */        uint64_t hpfar_el2;
/* 1072      |     8 */        uint64_t hstr_el2;
/* 1080      |    32 */        union {
/*                32 */            struct {
/* 1080      |     8 */                uint64_t _unused_par_0;
/* 1088      |     8 */                uint64_t par_ns;
/* 1096      |     8 */                uint64_t _unused_par_1;
/* 1104      |     8 */                uint64_t par_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t par_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1112      |     4 */        uint32_t c6_rgnr;
/* 1116      |     4 */        uint32_t c9_insn;
/* 1120      |     4 */        uint32_t c9_data;
/* XXX  4-byte hole  */
/* 1128      |     8 */        uint64_t c9_pmcr;
/* 1136      |     8 */        uint64_t c9_pmcnten;
/* 1144      |     4 */        uint32_t c9_pmovsr;
/* 1148      |     4 */        uint32_t c9_pmxevtyper;
/* 1152      |     4 */        uint32_t c9_pmuserenr;
/* 1156      |     4 */        uint32_t c9_pminten;
/* 1160      |    32 */        union {
/*                32 */            struct {
/* 1160      |     8 */                uint64_t _unused_mair_0;
/* 1168      |     4 */                uint32_t mair0_ns;
/* 1172      |     4 */                uint32_t mair1_ns;
/* 1176      |     8 */                uint64_t _unused_mair_1;
/* 1184      |     4 */                uint32_t mair0_s;
/* 1188      |     4 */                uint32_t mair1_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t mair_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1192      |    32 */        union {
/*                32 */            struct {
/* 1192      |     8 */                uint64_t _unused_vbar;
/* 1200      |     8 */                uint64_t vbar_ns;
/* 1208      |     8 */                uint64_t hvbar;
/* 1216      |     8 */                uint64_t vbar_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t vbar_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1224      |     4 */        uint32_t mvbar;
/* 1228      |     8 */        struct {
/* 1228      |     4 */            uint32_t fcseidr_ns;
/* 1232      |     4 */            uint32_t fcseidr_s;

                                   /* total size (bytes):    8 */
                               };
/* XXX  4-byte hole  */
/* 1240      |    32 */        union {
/*                32 */            struct {
/* 1240      |     8 */                uint64_t _unused_contextidr_0;
/* 1248      |     8 */                uint64_t contextidr_ns;
/* 1256      |     8 */                uint64_t _unused_contextidr_1;
/* 1264      |     8 */                uint64_t contextidr_s;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t contextidr_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1272      |    32 */        union {
/*                32 */            struct {
/* 1272      |     8 */                uint64_t tpidrurw_ns;
/* 1280      |     8 */                uint64_t tpidrprw_ns;
/* 1288      |     8 */                uint64_t htpidr;
/* 1296      |     8 */                uint64_t _tpidr_el3;

                                       /* total size (bytes):   32 */
                                   };
/*                32 */            uint64_t tpidr_el[4];

                                   /* total size (bytes):   32 */
                               };
/* 1304      |     8 */        uint64_t tpidrurw_s;
/* 1312      |     8 */        uint64_t tpidrprw_s;
/* 1320      |     8 */        uint64_t tpidruro_s;
/* 1328      |     8 */        union {
/*                 8 */            uint64_t tpidruro_ns;
/*                 8 */            uint64_t tpidrro_el[1];

                                   /* total size (bytes):    8 */
                               };
/* 1336      |     8 */        uint64_t c14_cntfrq;
/* 1344      |     8 */        uint64_t c14_cntkctl;
/* 1352      |     4 */        uint32_t cnthctl_el2;
/* XXX  4-byte hole  */
/* 1360      |     8 */        uint64_t cntvoff_el2;
/* 1368      |    64 */        ARMGenericTimer c14_timer[4];
/* 1432      |     4 */        uint32_t c15_cpar;
/* 1436      |     4 */        uint32_t c15_ticonfig;
/* 1440      |     4 */        uint32_t c15_i_max;
/* 1444      |     4 */        uint32_t c15_i_min;
/* 1448      |     4 */        uint32_t c15_threadid;
/* 1452      |     4 */        uint32_t c15_config_base_address;
/* 1456      |     4 */        uint32_t c15_diagnostic;
/* 1460      |     4 */        uint32_t c15_power_diagnostic;
/* 1464      |     4 */        uint32_t c15_power_control;
/* XXX  4-byte hole  */
/* 1472      |   128 */        uint64_t dbgbvr[16];
/* 1600      |   128 */        uint64_t dbgbcr[16];
/* 1728      |   128 */        uint64_t dbgwvr[16];
/* 1856      |   128 */        uint64_t dbgwcr[16];
/* 1984      |     8 */        uint64_t mdscr_el1;
/* 1992      |     8 */        uint64_t oslsr_el1;
/* 2000      |     8 */        uint64_t mdcr_el2;
/* 2008      |     8 */        uint64_t mdcr_el3;
/* 2016      |     8 */        uint64_t c15_ccnt;
/* 2024      |     8 */        uint64_t pmccfiltr_el0;
/* 2032      |     8 */        uint64_t vpidr_el2;
/* 2040      |     8 */        uint64_t vmpidr_el2;

                               /* total size (bytes): 1432 */
                           } cp15;
/* 2048      |    44 */    struct {
/* 2048      |     4 */        uint32_t other_sp;
/* 2052      |     4 */        uint32_t vecbase;
/* 2056      |     4 */        uint32_t basepri;
/* 2060      |     4 */        uint32_t control;
/* 2064      |     4 */        uint32_t ccr;
/* 2068      |     4 */        uint32_t cfsr;
/* 2072      |     4 */        uint32_t hfsr;
/* 2076      |     4 */        uint32_t dfsr;
/* 2080      |     4 */        uint32_t mmfar;
/* 2084      |     4 */        uint32_t bfar;
/* 2088      |     4 */        int exception;

                               /* total size (bytes):   44 */
                           } v7m;
/* XXX  4-byte hole  */
/* 2096      |    24 */    struct {
/* 2096      |     4 */        uint32_t syndrome;
/* 2100      |     4 */        uint32_t fsr;
/* 2104      |     8 */        uint64_t vaddress;
/* 2112      |     4 */        uint32_t target_el;
/* XXX  4-byte padding  */

                               /* total size (bytes):   24 */
                           } exception;
/* 2120      |     4 */    uint32_t teecr;
/* 2124      |     4 */    uint32_t teehbr;
/* 2128      |   632 */    struct {
/* 2128      |   512 */        float64 regs[64];
/* 2640      |    64 */        uint32_t xregs[16];
/* 2704      |     4 */        int vec_len;
/* 2708      |     4 */        int vec_stride;
/* 2712      |    32 */        uint32_t scratch[8];
/* 2744      |     8 */        float_status fp_status;
/* 2752      |     8 */        float_status standard_fp_status;

                               /* total size (bytes):  632 */
                           } vfp;
/* 2760      |     8 */    uint64_t exclusive_addr;
/* 2768      |     8 */    uint64_t exclusive_val;
/* 2776      |     8 */    uint64_t exclusive_high;
/* 2784      |   200 */    struct {
/* 2784      |   128 */        uint64_t regs[16];
/* 2912      |     8 */        uint64_t val;
/* 2920      |    64 */        uint32_t cregs[16];

                               /* total size (bytes):  200 */
                           } iwmmxt;
/* 2984      |   128 */    CPUBreakpoint *cpu_breakpoint[16];                                                                                                                                                                                                 
/* 3112      |   128 */    CPUWatchpoint *cpu_watchpoint[16];                                                                                                                                                                                                 
/* 3240      |     1 */    struct {                                                                                                                                                                                                                           
        <no data fields>

                               /* total size (bytes):    1 */                                                                                                                                                                                                 
                           } end_reset_fields;
/* XXX  7-byte hole  */                                                                                                                                                                                                                                       
/* 3248      |  57344 */    CPUTLBEntry tlb_table[7][256];                                                                                                                                                                                                    
/* 60592      |  1792 */    CPUTLBEntry tlb_v_table[7][8];                                                                                                                                                                                                    
/* 62384      |  28672 */    CPUIOTLBEntry iotlb[7][256];                                                                                                                                                                                                     
/* 91056      |   896 */    CPUIOTLBEntry iotlb_v[7][8];                                                                                                                                                                                                      
/* 91952      |     4 */    target_ulong tlb_flush_addr;                                                                                                                                                                                                      
/* 91956      |     4 */    target_ulong tlb_flush_mask;                                                                                                                                                                                                      
/* 91960      |     4 */    target_ulong vtlb_index;                                                                                                                                                                                                          
/* XXX  4-byte hole  */
/* 91968      |     8 */    uint64_t features;                                                                                                                                                                                                                
/* 91976      |    24 */    struct {                                                                                                                                                                                                                          
/* 91976      |     8 */        uint32_t *drbar;                                                                                                                                                                                                              
/* 91984      |     8 */        uint32_t *drsr;                                                                                                                                                                                                               
/* 91992      |     8 */        uint32_t *dracr;                                                                                                                                                                                                              

                               /* total size (bytes):   24 */
                           } pmsav7;
/* 92000      |     8 */    void *nvic;                                                                                                                                                                                                                       
/* 92008      |     8 */    const arm_boot_info *boot_info;                                                                                                                                                                                                   

                           /* total size (bytes): 92016 */                                                                                                                                                                                                    
                         } *