change fun names for timer syscalls