xref: /rk3399_ARM-atf/lib/el3_runtime/aarch64/context_mgmt.c (revision 0b9ce9064c9e27184ff1052d47c4fd0d9a07d521)
1 /*
2  * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <amu.h>
8 #include <arch.h>
9 #include <arch_helpers.h>
10 #include <assert.h>
11 #include <bl_common.h>
12 #include <context.h>
13 #include <context_mgmt.h>
14 #include <interrupt_mgmt.h>
15 #include <platform.h>
16 #include <platform_def.h>
17 #include <pubsub_events.h>
18 #include <smccc_helpers.h>
19 #include <spe.h>
20 #include <string.h>
21 #include <sve.h>
22 #include <utils.h>
23 
24 
25 /*******************************************************************************
26  * Context management library initialisation routine. This library is used by
27  * runtime services to share pointers to 'cpu_context' structures for the secure
28  * and non-secure states. Management of the structures and their associated
29  * memory is not done by the context management library e.g. the PSCI service
30  * manages the cpu context used for entry from and exit to the non-secure state.
31  * The Secure payload dispatcher service manages the context(s) corresponding to
32  * the secure state. It also uses this library to get access to the non-secure
33  * state cpu context pointers.
34  * Lastly, this library provides the api to make SP_EL3 point to the cpu context
35  * which will used for programming an entry into a lower EL. The same context
36  * will used to save state upon exception entry from that EL.
37  ******************************************************************************/
38 void cm_init(void)
39 {
40 	/*
41 	 * The context management library has only global data to intialize, but
42 	 * that will be done when the BSS is zeroed out
43 	 */
44 }
45 
46 /*******************************************************************************
47  * The following function initializes the cpu_context 'ctx' for
48  * first use, and sets the initial entrypoint state as specified by the
49  * entry_point_info structure.
50  *
51  * The security state to initialize is determined by the SECURE attribute
52  * of the entry_point_info. The function returns a pointer to the initialized
53  * context and sets this as the next context to return to.
54  *
55  * The EE and ST attributes are used to configure the endianess and secure
56  * timer availability for the new execution context.
57  *
58  * To prepare the register state for entry call cm_prepare_el3_exit() and
59  * el3_exit(). For Secure-EL1 cm_prepare_el3_exit() is equivalent to
60  * cm_e1_sysreg_context_restore().
61  ******************************************************************************/
62 static void cm_init_context_common(cpu_context_t *ctx, const entry_point_info_t *ep)
63 {
64 	unsigned int security_state;
65 	uint32_t scr_el3, pmcr_el0;
66 	el3_state_t *state;
67 	gp_regs_t *gp_regs;
68 	unsigned long sctlr_elx;
69 
70 	assert(ctx);
71 
72 	security_state = GET_SECURITY_STATE(ep->h.attr);
73 
74 	/* Clear any residual register values from the context */
75 	zeromem(ctx, sizeof(*ctx));
76 
77 	/*
78 	 * SCR_EL3 was initialised during reset sequence in macro
79 	 * el3_arch_init_common. This code modifies the SCR_EL3 fields that
80 	 * affect the next EL.
81 	 *
82 	 * The following fields are initially set to zero and then updated to
83 	 * the required value depending on the state of the SPSR_EL3 and the
84 	 * Security state and entrypoint attributes of the next EL.
85 	 */
86 	scr_el3 = read_scr();
87 	scr_el3 &= ~(SCR_NS_BIT | SCR_RW_BIT | SCR_FIQ_BIT | SCR_IRQ_BIT |
88 			SCR_ST_BIT | SCR_HCE_BIT);
89 	/*
90 	 * SCR_NS: Set the security state of the next EL.
91 	 */
92 	if (security_state != SECURE)
93 		scr_el3 |= SCR_NS_BIT;
94 	/*
95 	 * SCR_EL3.RW: Set the execution state, AArch32 or AArch64, for next
96 	 *  Exception level as specified by SPSR.
97 	 */
98 	if (GET_RW(ep->spsr) == MODE_RW_64)
99 		scr_el3 |= SCR_RW_BIT;
100 	/*
101 	 * SCR_EL3.ST: Traps Secure EL1 accesses to the Counter-timer Physical
102 	 *  Secure timer registers to EL3, from AArch64 state only, if specified
103 	 *  by the entrypoint attributes.
104 	 */
105 	if (EP_GET_ST(ep->h.attr))
106 		scr_el3 |= SCR_ST_BIT;
107 
108 #ifndef HANDLE_EA_EL3_FIRST
109 	/*
110 	 * SCR_EL3.EA: Do not route External Abort and SError Interrupt External
111 	 *  to EL3 when executing at a lower EL. When executing at EL3, External
112 	 *  Aborts are taken to EL3.
113 	 */
114 	scr_el3 &= ~SCR_EA_BIT;
115 #endif
116 
117 #if FAULT_INJECTION_SUPPORT
118 	/* Enable fault injection from lower ELs */
119 	scr_el3 |= SCR_FIEN_BIT;
120 #endif
121 
122 #ifdef IMAGE_BL31
123 	/*
124 	 * SCR_EL3.IRQ, SCR_EL3.FIQ: Enable the physical FIQ and IRQ rounting as
125 	 *  indicated by the interrupt routing model for BL31.
126 	 */
127 	scr_el3 |= get_scr_el3_from_routing_model(security_state);
128 #endif
129 
130 	/*
131 	 * SCR_EL3.HCE: Enable HVC instructions if next execution state is
132 	 * AArch64 and next EL is EL2, or if next execution state is AArch32 and
133 	 * next mode is Hyp.
134 	 */
135 	if ((GET_RW(ep->spsr) == MODE_RW_64
136 	     && GET_EL(ep->spsr) == MODE_EL2)
137 	    || (GET_RW(ep->spsr) != MODE_RW_64
138 		&& GET_M32(ep->spsr) == MODE32_hyp)) {
139 		scr_el3 |= SCR_HCE_BIT;
140 	}
141 
142 	/*
143 	 * Initialise SCTLR_EL1 to the reset value corresponding to the target
144 	 * execution state setting all fields rather than relying of the hw.
145 	 * Some fields have architecturally UNKNOWN reset values and these are
146 	 * set to zero.
147 	 *
148 	 * SCTLR.EE: Endianness is taken from the entrypoint attributes.
149 	 *
150 	 * SCTLR.M, SCTLR.C and SCTLR.I: These fields must be zero (as
151 	 *  required by PSCI specification)
152 	 */
153 	sctlr_elx = EP_GET_EE(ep->h.attr) ? SCTLR_EE_BIT : 0;
154 	if (GET_RW(ep->spsr) == MODE_RW_64)
155 		sctlr_elx |= SCTLR_EL1_RES1;
156 	else {
157 		/*
158 		 * If the target execution state is AArch32 then the following
159 		 * fields need to be set.
160 		 *
161 		 * SCTRL_EL1.nTWE: Set to one so that EL0 execution of WFE
162 		 *  instructions are not trapped to EL1.
163 		 *
164 		 * SCTLR_EL1.nTWI: Set to one so that EL0 execution of WFI
165 		 *  instructions are not trapped to EL1.
166 		 *
167 		 * SCTLR_EL1.CP15BEN: Set to one to enable EL0 execution of the
168 		 *  CP15DMB, CP15DSB, and CP15ISB instructions.
169 		 */
170 		sctlr_elx |= SCTLR_AARCH32_EL1_RES1 | SCTLR_CP15BEN_BIT
171 					| SCTLR_NTWI_BIT | SCTLR_NTWE_BIT;
172 	}
173 
174 	/*
175 	 * Store the initialised SCTLR_EL1 value in the cpu_context - SCTLR_EL2
176 	 * and other EL2 registers are set up by cm_preapre_ns_entry() as they
177 	 * are not part of the stored cpu_context.
178 	 */
179 	write_ctx_reg(get_sysregs_ctx(ctx), CTX_SCTLR_EL1, sctlr_elx);
180 
181 	if (security_state == SECURE) {
182 		/*
183 		 * Initialise PMCR_EL0 for secure context only, setting all
184 		 * fields rather than relying on hw. Some fields are
185 		 * architecturally UNKNOWN on reset.
186 		 *
187 		 * PMCR_EL0.LC: Set to one so that cycle counter overflow, that
188 		 *  is recorded in PMOVSCLR_EL0[31], occurs on the increment
189 		 *  that changes PMCCNTR_EL0[63] from 1 to 0.
190 		 *
191 		 * PMCR_EL0.DP: Set to one so that the cycle counter,
192 		 *  PMCCNTR_EL0 does not count when event counting is prohibited.
193 		 *
194 		 * PMCR_EL0.X: Set to zero to disable export of events.
195 		 *
196 		 * PMCR_EL0.D: Set to zero so that, when enabled, PMCCNTR_EL0
197 		 *  counts on every clock cycle.
198 		 */
199 		pmcr_el0 = ((PMCR_EL0_RESET_VAL | PMCR_EL0_LC_BIT
200 				| PMCR_EL0_DP_BIT)
201 				& ~(PMCR_EL0_X_BIT | PMCR_EL0_D_BIT));
202 		write_ctx_reg(get_sysregs_ctx(ctx), CTX_PMCR_EL0, pmcr_el0);
203 	}
204 
205 	/* Populate EL3 state so that we've the right context before doing ERET */
206 	state = get_el3state_ctx(ctx);
207 	write_ctx_reg(state, CTX_SCR_EL3, scr_el3);
208 	write_ctx_reg(state, CTX_ELR_EL3, ep->pc);
209 	write_ctx_reg(state, CTX_SPSR_EL3, ep->spsr);
210 
211 	/*
212 	 * Store the X0-X7 value from the entrypoint into the context
213 	 * Use memcpy as we are in control of the layout of the structures
214 	 */
215 	gp_regs = get_gpregs_ctx(ctx);
216 	memcpy(gp_regs, (void *)&ep->args, sizeof(aapcs64_params_t));
217 }
218 
219 /*******************************************************************************
220  * Enable architecture extensions on first entry to Non-secure world.
221  * When EL2 is implemented but unused `el2_unused` is non-zero, otherwise
222  * it is zero.
223  ******************************************************************************/
224 static void enable_extensions_nonsecure(int el2_unused)
225 {
226 #if IMAGE_BL31
227 #if ENABLE_SPE_FOR_LOWER_ELS
228 	spe_enable(el2_unused);
229 #endif
230 
231 #if ENABLE_AMU
232 	amu_enable(el2_unused);
233 #endif
234 
235 #if ENABLE_SVE_FOR_NS
236 	sve_enable(el2_unused);
237 #endif
238 #endif
239 }
240 
241 /*******************************************************************************
242  * The following function initializes the cpu_context for a CPU specified by
243  * its `cpu_idx` for first use, and sets the initial entrypoint state as
244  * specified by the entry_point_info structure.
245  ******************************************************************************/
246 void cm_init_context_by_index(unsigned int cpu_idx,
247 			      const entry_point_info_t *ep)
248 {
249 	cpu_context_t *ctx;
250 	ctx = cm_get_context_by_index(cpu_idx, GET_SECURITY_STATE(ep->h.attr));
251 	cm_init_context_common(ctx, ep);
252 }
253 
254 /*******************************************************************************
255  * The following function initializes the cpu_context for the current CPU
256  * for first use, and sets the initial entrypoint state as specified by the
257  * entry_point_info structure.
258  ******************************************************************************/
259 void cm_init_my_context(const entry_point_info_t *ep)
260 {
261 	cpu_context_t *ctx;
262 	ctx = cm_get_context(GET_SECURITY_STATE(ep->h.attr));
263 	cm_init_context_common(ctx, ep);
264 }
265 
266 /*******************************************************************************
267  * Prepare the CPU system registers for first entry into secure or normal world
268  *
269  * If execution is requested to EL2 or hyp mode, SCTLR_EL2 is initialized
270  * If execution is requested to non-secure EL1 or svc mode, and the CPU supports
271  * EL2 then EL2 is disabled by configuring all necessary EL2 registers.
272  * For all entries, the EL1 registers are initialized from the cpu_context
273  ******************************************************************************/
274 void cm_prepare_el3_exit(uint32_t security_state)
275 {
276 	uint32_t sctlr_elx, scr_el3, mdcr_el2;
277 	cpu_context_t *ctx = cm_get_context(security_state);
278 	int el2_unused = 0;
279 
280 	assert(ctx);
281 
282 	if (security_state == NON_SECURE) {
283 		scr_el3 = read_ctx_reg(get_el3state_ctx(ctx), CTX_SCR_EL3);
284 		if (scr_el3 & SCR_HCE_BIT) {
285 			/* Use SCTLR_EL1.EE value to initialise sctlr_el2 */
286 			sctlr_elx = read_ctx_reg(get_sysregs_ctx(ctx),
287 						 CTX_SCTLR_EL1);
288 			sctlr_elx &= SCTLR_EE_BIT;
289 			sctlr_elx |= SCTLR_EL2_RES1;
290 			write_sctlr_el2(sctlr_elx);
291 		} else if (EL_IMPLEMENTED(2)) {
292 			el2_unused = 1;
293 
294 			/*
295 			 * EL2 present but unused, need to disable safely.
296 			 * SCTLR_EL2 can be ignored in this case.
297 			 *
298 			 * Initialise all fields in HCR_EL2, except HCR_EL2.RW,
299 			 * to zero so that Non-secure operations do not trap to
300 			 * EL2.
301 			 *
302 			 * HCR_EL2.RW: Set this field to match SCR_EL3.RW
303 			 */
304 			write_hcr_el2((scr_el3 & SCR_RW_BIT) ? HCR_RW_BIT : 0);
305 
306 			/*
307 			 * Initialise CPTR_EL2 setting all fields rather than
308 			 * relying on the hw. All fields have architecturally
309 			 * UNKNOWN reset values.
310 			 *
311 			 * CPTR_EL2.TCPAC: Set to zero so that Non-secure EL1
312 			 *  accesses to the CPACR_EL1 or CPACR from both
313 			 *  Execution states do not trap to EL2.
314 			 *
315 			 * CPTR_EL2.TTA: Set to zero so that Non-secure System
316 			 *  register accesses to the trace registers from both
317 			 *  Execution states do not trap to EL2.
318 			 *
319 			 * CPTR_EL2.TFP: Set to zero so that Non-secure accesses
320 			 *  to SIMD and floating-point functionality from both
321 			 *  Execution states do not trap to EL2.
322 			 */
323 			write_cptr_el2(CPTR_EL2_RESET_VAL &
324 					~(CPTR_EL2_TCPAC_BIT | CPTR_EL2_TTA_BIT
325 					| CPTR_EL2_TFP_BIT));
326 
327 			/*
328 			 * Initiliase CNTHCTL_EL2. All fields are
329 			 * architecturally UNKNOWN on reset and are set to zero
330 			 * except for field(s) listed below.
331 			 *
332 			 * CNTHCTL_EL2.EL1PCEN: Set to one to disable traps to
333 			 *  Hyp mode of Non-secure EL0 and EL1 accesses to the
334 			 *  physical timer registers.
335 			 *
336 			 * CNTHCTL_EL2.EL1PCTEN: Set to one to disable traps to
337 			 *  Hyp mode of  Non-secure EL0 and EL1 accesses to the
338 			 *  physical counter registers.
339 			 */
340 			write_cnthctl_el2(CNTHCTL_RESET_VAL |
341 						EL1PCEN_BIT | EL1PCTEN_BIT);
342 
343 			/*
344 			 * Initialise CNTVOFF_EL2 to zero as it resets to an
345 			 * architecturally UNKNOWN value.
346 			 */
347 			write_cntvoff_el2(0);
348 
349 			/*
350 			 * Set VPIDR_EL2 and VMPIDR_EL2 to match MIDR_EL1 and
351 			 * MPIDR_EL1 respectively.
352 			 */
353 			write_vpidr_el2(read_midr_el1());
354 			write_vmpidr_el2(read_mpidr_el1());
355 
356 			/*
357 			 * Initialise VTTBR_EL2. All fields are architecturally
358 			 * UNKNOWN on reset.
359 			 *
360 			 * VTTBR_EL2.VMID: Set to zero. Even though EL1&0 stage
361 			 *  2 address translation is disabled, cache maintenance
362 			 *  operations depend on the VMID.
363 			 *
364 			 * VTTBR_EL2.BADDR: Set to zero as EL1&0 stage 2 address
365 			 *  translation is disabled.
366 			 */
367 			write_vttbr_el2(VTTBR_RESET_VAL &
368 				~((VTTBR_VMID_MASK << VTTBR_VMID_SHIFT)
369 				| (VTTBR_BADDR_MASK << VTTBR_BADDR_SHIFT)));
370 
371 			/*
372 			 * Initialise MDCR_EL2, setting all fields rather than
373 			 * relying on hw. Some fields are architecturally
374 			 * UNKNOWN on reset.
375 			 *
376 			 * MDCR_EL2.TDRA: Set to zero so that Non-secure EL0 and
377 			 *  EL1 System register accesses to the Debug ROM
378 			 *  registers are not trapped to EL2.
379 			 *
380 			 * MDCR_EL2.TDOSA: Set to zero so that Non-secure EL1
381 			 *  System register accesses to the powerdown debug
382 			 *  registers are not trapped to EL2.
383 			 *
384 			 * MDCR_EL2.TDA: Set to zero so that System register
385 			 *  accesses to the debug registers do not trap to EL2.
386 			 *
387 			 * MDCR_EL2.TDE: Set to zero so that debug exceptions
388 			 *  are not routed to EL2.
389 			 *
390 			 * MDCR_EL2.HPME: Set to zero to disable EL2 Performance
391 			 *  Monitors.
392 			 *
393 			 * MDCR_EL2.TPM: Set to zero so that Non-secure EL0 and
394 			 *  EL1 accesses to all Performance Monitors registers
395 			 *  are not trapped to EL2.
396 			 *
397 			 * MDCR_EL2.TPMCR: Set to zero so that Non-secure EL0
398 			 *  and EL1 accesses to the PMCR_EL0 or PMCR are not
399 			 *  trapped to EL2.
400 			 *
401 			 * MDCR_EL2.HPMN: Set to value of PMCR_EL0.N which is the
402 			 *  architecturally-defined reset value.
403 			 */
404 			mdcr_el2 = ((MDCR_EL2_RESET_VAL |
405 					((read_pmcr_el0() & PMCR_EL0_N_BITS)
406 					>> PMCR_EL0_N_SHIFT)) &
407 					~(MDCR_EL2_TDRA_BIT | MDCR_EL2_TDOSA_BIT
408 					| MDCR_EL2_TDA_BIT | MDCR_EL2_TDE_BIT
409 					| MDCR_EL2_HPME_BIT | MDCR_EL2_TPM_BIT
410 					| MDCR_EL2_TPMCR_BIT));
411 
412 			write_mdcr_el2(mdcr_el2);
413 
414 			/*
415 			 * Initialise HSTR_EL2. All fields are architecturally
416 			 * UNKNOWN on reset.
417 			 *
418 			 * HSTR_EL2.T<n>: Set all these fields to zero so that
419 			 *  Non-secure EL0 or EL1 accesses to System registers
420 			 *  do not trap to EL2.
421 			 */
422 			write_hstr_el2(HSTR_EL2_RESET_VAL & ~(HSTR_EL2_T_MASK));
423 			/*
424 			 * Initialise CNTHP_CTL_EL2. All fields are
425 			 * architecturally UNKNOWN on reset.
426 			 *
427 			 * CNTHP_CTL_EL2:ENABLE: Set to zero to disable the EL2
428 			 *  physical timer and prevent timer interrupts.
429 			 */
430 			write_cnthp_ctl_el2(CNTHP_CTL_RESET_VAL &
431 						~(CNTHP_CTL_ENABLE_BIT));
432 		}
433 		enable_extensions_nonsecure(el2_unused);
434 	}
435 
436 	cm_el1_sysregs_context_restore(security_state);
437 	cm_set_next_eret_context(security_state);
438 }
439 
440 /*******************************************************************************
441  * The next four functions are used by runtime services to save and restore
442  * EL1 context on the 'cpu_context' structure for the specified security
443  * state.
444  ******************************************************************************/
445 void cm_el1_sysregs_context_save(uint32_t security_state)
446 {
447 	cpu_context_t *ctx;
448 
449 	ctx = cm_get_context(security_state);
450 	assert(ctx);
451 
452 	el1_sysregs_context_save(get_sysregs_ctx(ctx));
453 
454 #if IMAGE_BL31
455 	if (security_state == SECURE)
456 		PUBLISH_EVENT(cm_exited_secure_world);
457 	else
458 		PUBLISH_EVENT(cm_exited_normal_world);
459 #endif
460 }
461 
462 void cm_el1_sysregs_context_restore(uint32_t security_state)
463 {
464 	cpu_context_t *ctx;
465 
466 	ctx = cm_get_context(security_state);
467 	assert(ctx);
468 
469 	el1_sysregs_context_restore(get_sysregs_ctx(ctx));
470 
471 #if IMAGE_BL31
472 	if (security_state == SECURE)
473 		PUBLISH_EVENT(cm_entering_secure_world);
474 	else
475 		PUBLISH_EVENT(cm_entering_normal_world);
476 #endif
477 }
478 
479 /*******************************************************************************
480  * This function populates ELR_EL3 member of 'cpu_context' pertaining to the
481  * given security state with the given entrypoint
482  ******************************************************************************/
483 void cm_set_elr_el3(uint32_t security_state, uintptr_t entrypoint)
484 {
485 	cpu_context_t *ctx;
486 	el3_state_t *state;
487 
488 	ctx = cm_get_context(security_state);
489 	assert(ctx);
490 
491 	/* Populate EL3 state so that ERET jumps to the correct entry */
492 	state = get_el3state_ctx(ctx);
493 	write_ctx_reg(state, CTX_ELR_EL3, entrypoint);
494 }
495 
496 /*******************************************************************************
497  * This function populates ELR_EL3 and SPSR_EL3 members of 'cpu_context'
498  * pertaining to the given security state
499  ******************************************************************************/
500 void cm_set_elr_spsr_el3(uint32_t security_state,
501 			uintptr_t entrypoint, uint32_t spsr)
502 {
503 	cpu_context_t *ctx;
504 	el3_state_t *state;
505 
506 	ctx = cm_get_context(security_state);
507 	assert(ctx);
508 
509 	/* Populate EL3 state so that ERET jumps to the correct entry */
510 	state = get_el3state_ctx(ctx);
511 	write_ctx_reg(state, CTX_ELR_EL3, entrypoint);
512 	write_ctx_reg(state, CTX_SPSR_EL3, spsr);
513 }
514 
515 /*******************************************************************************
516  * This function updates a single bit in the SCR_EL3 member of the 'cpu_context'
517  * pertaining to the given security state using the value and bit position
518  * specified in the parameters. It preserves all other bits.
519  ******************************************************************************/
520 void cm_write_scr_el3_bit(uint32_t security_state,
521 			  uint32_t bit_pos,
522 			  uint32_t value)
523 {
524 	cpu_context_t *ctx;
525 	el3_state_t *state;
526 	uint32_t scr_el3;
527 
528 	ctx = cm_get_context(security_state);
529 	assert(ctx);
530 
531 	/* Ensure that the bit position is a valid one */
532 	assert((1 << bit_pos) & SCR_VALID_BIT_MASK);
533 
534 	/* Ensure that the 'value' is only a bit wide */
535 	assert(value <= 1);
536 
537 	/*
538 	 * Get the SCR_EL3 value from the cpu context, clear the desired bit
539 	 * and set it to its new value.
540 	 */
541 	state = get_el3state_ctx(ctx);
542 	scr_el3 = read_ctx_reg(state, CTX_SCR_EL3);
543 	scr_el3 &= ~(1 << bit_pos);
544 	scr_el3 |= value << bit_pos;
545 	write_ctx_reg(state, CTX_SCR_EL3, scr_el3);
546 }
547 
548 /*******************************************************************************
549  * This function retrieves SCR_EL3 member of 'cpu_context' pertaining to the
550  * given security state.
551  ******************************************************************************/
552 uint32_t cm_get_scr_el3(uint32_t security_state)
553 {
554 	cpu_context_t *ctx;
555 	el3_state_t *state;
556 
557 	ctx = cm_get_context(security_state);
558 	assert(ctx);
559 
560 	/* Populate EL3 state so that ERET jumps to the correct entry */
561 	state = get_el3state_ctx(ctx);
562 	return read_ctx_reg(state, CTX_SCR_EL3);
563 }
564 
565 /*******************************************************************************
566  * This function is used to program the context that's used for exception
567  * return. This initializes the SP_EL3 to a pointer to a 'cpu_context' set for
568  * the required security state
569  ******************************************************************************/
570 void cm_set_next_eret_context(uint32_t security_state)
571 {
572 	cpu_context_t *ctx;
573 
574 	ctx = cm_get_context(security_state);
575 	assert(ctx);
576 
577 	cm_set_next_context(ctx);
578 }
579