CurrentEL          83 arch/arm64/include/asm/virt.h 	return read_sysreg(CurrentEL) == CurrentEL_EL2;
CurrentEL         192 arch/arm64/kernel/sdei.c 	u32 kernel_mode = read_sysreg(CurrentEL) | 1;	/* +SPSel */