+ unsigned int lgMckFlags; /* 5018 Machine check flags */
+ unsigned int lgVersion; /* 501C Pointer to kernel version string */
+ uint64_t lgPMWvaddr; /* 5020 physical memory window virtual address */
+ uint64_t lgUMWvaddr; /* 5028 user memory window virtual address */
+ unsigned int lgVMMforcedFeats; /* 5030 VMM boot-args forced feature flags */
+ unsigned int lgRsv034[19]; /* 5034 reserved */