diff options
Diffstat (limited to 'bl31/bl31_main.c')
| -rw-r--r-- | bl31/bl31_main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c index 2a3d838e4..a4640b1b9 100644 --- a/bl31/bl31_main.c +++ b/bl31/bl31_main.c @@ -99,7 +99,7 @@ void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, * an exception would occur during context save/restore if enabled but * not supported. */ - assert(is_feat_hcx_present()); + assert(is_feat_hcx_supported()); #endif /* ENABLE_FEAT_HCX */ #if CTX_INCLUDE_PAUTH_REGS |