<dec f='src/src/sys/arch/x86/include/cpu.h' l='95' type='volatile struct vcpu_info *'/>
<offset>3648</offset>
<doc f='src/src/sys/arch/x86/include/cpu.h' l='95'>/* for XEN */</doc>
