ARM64_CTX_END
reg_ctx->ctx_id = ARM64_CTX_END;
case ARM64_CTX_END:
end_ctx.ctx_id = ARM64_CTX_END;
ATF_REQUIRE(regctx->ctx_id != ARM64_CTX_END);