Searched defs:current_ctx (Results 1 – 1 of 1) sorted by relevance
135 uint32_t current_ctx = GET_CTX(*flags); in set_off_state() local152 uint32_t current_ctx = GET_CTX(*flags); in set_starting_state() local