Searched refs:cookie_hi (Results 1 – 2 of 2) sorted by relevance
36 uint32_t cookie_hi, in arm_execution_state_switch() argument64 if ((pc_hi != 0) || (cookie_hi != 0)) in arm_execution_state_switch()164 SMC_RET2(handle, cookie_hi, cookie_lo); in arm_execution_state_switch()
225 uint32_t cookie_hi,