vbar              193 arch/arm64/kernel/sdei.c 	unsigned long vbar = read_sysreg(vbar_el1);
vbar              241 arch/arm64/kernel/sdei.c 		return vbar + 0x280;
vbar              243 arch/arm64/kernel/sdei.c 		return vbar + 0x680;
vbar              245 arch/arm64/kernel/sdei.c 	return vbar + 0x480;