__boot_cpu_mode
extern int __boot_cpu_mode;
sync_cache_r(&__boot_cpu_mode);
return ((__boot_cpu_mode & MODE_MASK) == HYP_MODE &&
!(__boot_cpu_mode & BOOT_CPU_MODE_MISMATCH));
return !!(__boot_cpu_mode & BOOT_CPU_MODE_MISMATCH);
__boot_cpu_mode & MODE_MASK);
else if ((__boot_cpu_mode & MODE_MASK) == HYP_MODE)
if ((__boot_cpu_mode & MODE_MASK) == HYP_MODE)
return (__boot_cpu_mode[0] == BOOT_CPU_MODE_EL2 &&
__boot_cpu_mode[1] == BOOT_CPU_MODE_EL2);
return __boot_cpu_mode[0] != __boot_cpu_mode[1];
extern u32 __boot_cpu_mode[2];
u32 __boot_cpu_mode[] = { BOOT_CPU_MODE_EL2, BOOT_CPU_MODE_EL1 };