alloc_timer      1495 kern/tty.c     alloc_timer:
alloc_timer      1507 kern/tty.c     				goto alloc_timer;