//0x1040 bytes (sizeof)
struct _MI_SYSTEM_VA_STATE
{
    volatile LONG SystemTablesLock;                                         //0x0
    ULONGLONG AvailableSystemCacheVa;                                       //0x8
    struct 
_MI_DYNAMIC_BITMAP DynamicBitMapKernelStacks;                    //0x10
    struct 
_MI_DYNAMIC_BITMAP DynamicBitMapKernelShadowStacks;              //0x58
    struct 
_MI_DYNAMIC_BITMAP DynamicBitMapSystemPtes;                      //0xa0
    struct 
_MI_DYNAMIC_BITMAP DynamicBitMapNonCachedMappings;               //0xe8
    struct 
_MI_DYNAMIC_BITMAP DynamicBitMapDriverImages;                    //0x130
    struct 
_MI_DYNAMIC_BITMAP DynamicBitMapPagedPool;                       //0x178
    struct 
_MI_DYNAMIC_BITMAP DynamicBitMapSystemCache;                     //0x1c0
    struct 
_MI_DYNAMIC_BITMAP DynamicBitMapSystemDataViews;                 //0x208
    struct 
_MI_DYNAMIC_BITMAP DynamicBitMapSecureNonPagedPool;              //0x250
    VOID* HalPrivateVaStart;                                                //0x298
    ULONGLONG HalPrivateVaSize;                                             //0x2a0
    ULONG SystemVaAssignment[8];                                            //0x2a8
    ULONG SystemVaAssignmentHint;                                           //0x2c8
    ULONG VaRegionShadowed[8];                                              //0x2cc
    ULONG TopLevelPteLockBits[32];                                          //0x2ec
    struct 
_MMSUPPORT_FULL SoftWsleSystemVm;                                //0x380
    VOID* HyperSpaceBase;                                                   //0x4c0
    VOID* PagableHyperSpace;                                                //0x4c8
    VOID* HyperSpaceEnd;                                                    //0x4d0
    VOID* UserSoftWsleBase;                                                 //0x4d8
    ULONGLONG PagableHyperSpaceBytes;                                       //0x4e0
    ULONGLONG PageTableCommitmentOffset[2];                                 //0x4e8
    volatile LONG SystemCacheViewLock;                                      //0x4f8
    struct 
_MMWSL_INSTANCE SystemWorkingSetList[10];                        //0x500
    ULONGLONG SelfmapLock[4];                                               //0xf00
    struct 
_MI_WORKING_SET_LOCK_ARRAY SystemCacheWorkingSetLockArray[4];    //0xf40
};