add get_ticks() system call.