vbar_el1          193 arch/arm64/kernel/sdei.c 	unsigned long vbar = read_sysreg(vbar_el1);
vbar_el1          111 arch/arm64/kvm/hyp/switch.c 	write_sysreg(kvm_get_hyp_vector(), vbar_el1);
vbar_el1          162 arch/arm64/kvm/hyp/switch.c 	write_sysreg(vectors, vbar_el1);