diff options
| -rw-r--r-- | bl31/ehf.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bl31/ehf.c b/bl31/ehf.c index 65f2df523..39ee6355e 100644 --- a/bl31/ehf.c +++ b/bl31/ehf.c @@ -1,5 +1,5 @@ /* - * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. + * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */ @@ -201,7 +201,7 @@ void ehf_deactivate_priority(unsigned int priority) else old_mask = plat_ic_set_priority_mask(priority); - if (old_mask >= priority) { + if (old_mask > priority) { ERROR("Deactivation priority (0x%x) lower than Priority Mask (0x%x)\n", priority, old_mask); panic(); |