xdebug_get_time    59 usefulstuff.h  char* xdebug_get_time(void);
xdebug_get_time  2405 xdebug.c       		str_time = xdebug_get_time();
xdebug_get_time  2429 xdebug.c       		str_time = xdebug_get_time();
xdebug_get_time  2121 xdebug_handler_dbgp.c 		char *timestr = xdebug_get_time();
xdebug_get_time  2250 xdebug_handler_dbgp.c 		char *timestr = xdebug_get_time();