Symbol: set_linux_timer
arch/xtensa/kernel/time.c
122
set_linux_timer(get_linux_timer());
arch/xtensa/kernel/time.c
69
set_linux_timer(next);