Searched refs:cookie_lo (Results 1 – 2 of 2) sorted by relevance
37 uint32_t cookie_lo, in arm_execution_state_switch() argument164 SMC_RET2(handle, cookie_hi, cookie_lo); in arm_execution_state_switch()
226 uint32_t cookie_lo,