c12_VBAR          477 arch/arm/kvm/coproc.c 			NULL, reset_val, c12_VBAR, 0x00000000 },
c12_VBAR           37 arch/arm/kvm/hyp/cp15-sr.c 	ctxt->cp15[c12_VBAR]		= read_sysreg(VBAR);
c12_VBAR           66 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(ctxt->cp15[c12_VBAR],	VBAR);
c12_VBAR          171 virt/kvm/arm/aarch32.c 		vect_offset += vcpu_cp15(vcpu, c12_VBAR);