<dec f='src/src/sys/arch/x86/pci/if_vmxreg.h' l='322' type='__uint8_t [3]'/>
<offset>648</offset>
