diff options
| -rw-r--r-- | services/spd/tlkd/tlkd_common.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/services/spd/tlkd/tlkd_common.c b/services/spd/tlkd/tlkd_common.c index 2f0194eb..dbe6c2e3 100644 --- a/services/spd/tlkd/tlkd_common.c +++ b/services/spd/tlkd/tlkd_common.c @@ -126,7 +126,6 @@ uint64_t tlkd_synchronous_sp_entry(tlk_context_t *tlk_ctx) /* Passing a NULL context is a critical programming error */ assert(tlk_ctx); - assert(tlk_ctx->c_rt_ctx == 0); /* Apply the Secure EL1 system register context and switch to it */ assert(cm_get_context(SECURE) == &tlk_ctx->cpu_ctx); |