Searched refs:CURRENT_EL_SPX (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/bl31/ | ||
| H A D | bl31_traps.c | 89 elr_el3 = vbar + CURRENT_EL_SPX; in get_elr_el3() |
| /rk3399_ARM-atf/include/arch/aarch64/ | ||
| H A D | arch.h | 84 #define CURRENT_EL_SPX 0x200 macro |