Symbol: acrn_vcpu_regs