diff options
Diffstat (limited to 'bl31')
-rw-r--r-- | bl31/bl31_main.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bl31/bl31_main.c b/bl31/bl31_main.c index 44bf32cb77..f272af5028 100644 --- a/bl31/bl31_main.c +++ b/bl31/bl31_main.c @@ -85,6 +85,15 @@ void bl31_setup(u_register_t arg0, u_register_t arg1, u_register_t arg2, /* Perform late platform-specific setup */ bl31_plat_arch_setup(); +#if ENABLE_FEAT_HCX + /* + * Assert that FEAT_HCX is supported on this system, without this check + * an exception would occur during context save/restore if enabled but + * not supported. + */ + assert(is_feat_hcx_present()); +#endif /* ENABLE_FEAT_HCX */ + #if CTX_INCLUDE_PAUTH_REGS /* * Assert that the ARMv8.3-PAuth registers are present or an access |