Searched refs:timer64_devstate_id (Results 1 – 1 of 1) sorted by relevance
78 static int timer64_devstate_id = -1; variable95 if (timer64_devstate_id >= 0) in timer64_enable()96 dscr_set_devstate(timer64_devstate_id, DSCR_DEVSTATE_ENABLED); in timer64_enable()118 if (timer64_devstate_id >= 0) in timer64_disable()119 dscr_set_devstate(timer64_devstate_id, DSCR_DEVSTATE_DISABLED); in timer64_disable()220 timer64_devstate_id = val; in timer64_init()227 dscr_set_devstate(timer64_devstate_id, DSCR_DEVSTATE_ENABLED); in timer64_init()