Export tick_nohz_get_sleep_length() so idle drivers may use this to determine the available idle time before the next timer wakeup. Bug: 169136276 Signed-off-by: Lina Iyer <ilina@codeaurora.org> Change-Id: I0d18638d63c032862ae048bc2c3d49fa1bd90291