diff options
Diffstat (limited to 'bl31')
| -rw-r--r-- | bl31/bl31_main.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c index c74b72b7..55d0bd91 100644 --- a/bl31/bl31_main.c +++ b/bl31/bl31_main.c @@ -172,8 +172,7 @@ void bl31_prepare_next_image_entry(void) * Ensure that the build flag to save AArch32 system registers in CPU * context is not set for AArch64-only platforms. */ - if (((read_id_aa64pfr0_el1() >> ID_AA64PFR0_EL1_SHIFT) - & ID_AA64PFR0_ELX_MASK) == 0x1) { + if (EL_IMPLEMENTED(1) == EL_IMPL_A64ONLY) { ERROR("EL1 supports AArch64-only. Please set build flag " "CTX_INCLUDE_AARCH32_REGS = 0"); panic(); |