VBAR_EL2
vbar = __vcpu_read_sys_reg(vcpu, VBAR_EL2);
__vcpu_assign_sys_reg(vcpu, VBAR_EL2, read_sysreg_el1(SYS_VBAR));
write_sysreg_el1(__vcpu_sys_reg(vcpu, VBAR_EL2), SYS_VBAR);
MAPPED_EL2_SYSREG(VBAR_EL2, VBAR_EL1, NULL );
EL2_REG(VBAR_EL2, access_rw, reset_val, 0),
SYS_REG(VBAR_EL2),
MAPPED_EL2_SYSREG(VBAR_EL2, VBAR_EL1);