Searched refs:cookie_hi (Results 1 – 2 of 2) sorted by relevance
37 uint32_t cookie_hi, in arm_execution_state_switch() argument69 if ((pc_hi != 0U) || (cookie_hi != 0U)) in arm_execution_state_switch()172 SMC_RET2(handle, cookie_hi, cookie_lo); in arm_execution_state_switch()
425 uint32_t cookie_hi,