SYS_VBAR_EL12      95 arch/arm64/kvm/sys_regs.c 	case VBAR_EL1:		return read_sysreg_s(SYS_VBAR_EL12);
SYS_VBAR_EL12     138 arch/arm64/kvm/sys_regs.c 	case VBAR_EL1:		write_sysreg_s(val, SYS_VBAR_EL12);	return;