Searched refs:timer64_devstate_id (Results 1 – 1 of 1) sorted by relevance
75 static int timer64_devstate_id = -1; variable92 if (timer64_devstate_id >= 0) in timer64_enable()93 dscr_set_devstate(timer64_devstate_id, DSCR_DEVSTATE_ENABLED); in timer64_enable()115 if (timer64_devstate_id >= 0) in timer64_disable()116 dscr_set_devstate(timer64_devstate_id, DSCR_DEVSTATE_DISABLED); in timer64_disable()212 timer64_devstate_id = val; in timer64_init()219 dscr_set_devstate(timer64_devstate_id, DSCR_DEVSTATE_ENABLED); in timer64_init()
