VBAR               37 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c12_VBAR]		= read_sysreg(VBAR);
VBAR               66 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c12_VBAR],	VBAR);