diff options
Diffstat (limited to 'core/kernel')
| -rw-r--r-- | core/kernel/tee_ta_manager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/kernel/tee_ta_manager.c b/core/kernel/tee_ta_manager.c index 010d7fc5..4a11d343 100644 --- a/core/kernel/tee_ta_manager.c +++ b/core/kernel/tee_ta_manager.c @@ -710,7 +710,7 @@ static void update_current_ctx(struct thread_specific_data *tsd) * if ctx->mmu != NULL we must have user mapping active. */ if (((ctx && is_user_ta_ctx(ctx) ? - to_user_ta_ctx(ctx)->mmu : NULL) == NULL) == + to_user_ta_ctx(ctx)->vm_info : NULL) == NULL) == core_mmu_user_mapping_is_active()) panic("unexpected active mapping"); } |