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;