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