Symbol: CURRENTEL_EL_EL2
sys/arm64/arm64/machdep.c
252
return (boot_el == CURRENTEL_EL_EL2);
sys/arm64/arm64/machdep.c
260
CURRENTEL_EL_EL2);