diff --git a/arch/arm64/src/common/arm64_arch.h b/arch/arm64/src/common/arm64_arch.h index d2310128e83..35c4cdc105c 100644 --- a/arch/arm64/src/common/arm64_arch.h +++ b/arch/arm64/src/common/arm64_arch.h @@ -394,26 +394,6 @@ static inline void arch_nop(void) __asm__ volatile ("nop"); } -/**************************************************************************** - * Name: - * arm64_current_el() - * - * Description: - * - * Get current execution level - * - ****************************************************************************/ - -#define arm64_current_el() \ - ({ \ - uint64_t __el; \ - int __ret; \ - __asm__ volatile ("mrs %0, CurrentEL" \ - : "=r" (__el)); \ - __ret = GET_EL(__el); \ - __ret; \ - }) - /**************************************************************************** * Name: * read_/write_/zero_ sysreg