<dec f='src/src/sys/arch/x86/pci/if_vmxreg.h' l='266' type='__uint16_t'/>
<offset>1008</offset>
