<dec f='src/src/sys/arch/x86/pci/if_vmxreg.h' l='319' type='__uint8_t [7]'/>
<offset>584</offset>
