Symbol: tick_device_is_functional
kernel/time/tick-broadcast.c
261
if (!tick_device_is_functional(dev)) {
kernel/time/tick-broadcast.c
456
if (!tick_device_is_functional(dev))
kernel/time/tick-common.c
156
if (!tick_device_is_functional(dev))
kernel/time/tick-oneshot.c
100
if (!tick_device_is_functional(dev))
kernel/time/tick-oneshot.c
94
!tick_device_is_functional(dev)) {