Replace 64bit funcions with operators in arch_clock.c