<dec f='src/src/sys/arch/x86/pci/if_vmxreg.h' l='277' type='__uint32_t [5]'/>
<offset>5600</offset>
