changed php method to ticks() to avoid getting clobbered by the #define getticks ... macros in php_rdtsc.h