Searched refs:cookie_lo (Results 1 – 2 of 2) sorted by relevance
38 uint32_t cookie_lo, in arm_execution_state_switch() argument172 SMC_RET2(handle, cookie_hi, cookie_lo); in arm_execution_state_switch()
328 uint32_t cookie_lo,