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 */
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 */