diff --git a/sys/ps/ps.c b/sys/ps/ps.c
index 47c9491a1c..b4087ecaec 100644
--- a/sys/ps/ps.c
+++ b/sys/ps/ps.c
@@ -39,7 +39,6 @@ const char *state_names[] = {
  */
 void thread_print_all(void)
 {
-    extern unsigned long hwtimer_now(void);
     const char queued_name[] = {'_', 'Q'};
     int i;
     int overall_stacksz = 0;
@@ -55,19 +54,19 @@ void thread_print_all(void)
         tcb_t *p = (tcb_t *)sched_threads[i];
 
         if (p != NULL) {
-            int state = p->status;                                                 // copy state
-            const char *sname = state_names[state];                                // get state name
-            const char *queued = &queued_name[(int)(state >= STATUS_ON_RUNQUEUE)]; // get queued flag
-            int stacksz = p->stack_size;                                           // get stack size
+            int state = p->status;                                                 /* copy state */
+            const char *sname = state_names[state];                                /* get state name */
+            const char *queued = &queued_name[(int)(state >= STATUS_ON_RUNQUEUE)]; /* get queued flag */
+            int stacksz = p->stack_size;                                           /* get stack size */
 #if SCHEDSTATISTICS
-            double runtime_ticks =  sched_pidlist[i].runtime_ticks / (double) hwtimer_now() * 100;
+            int runtime_ticks = sched_pidlist[i].runtime_ticks / (hwtimer_now()/1000UL + 1);
             int switches = sched_pidlist[i].schedules;
 #endif
             overall_stacksz += stacksz;
             stacksz -= thread_measure_stack_free(p->stack_start);
             printf("\t%3u | %-21s| %-8s %.1s | %3i | %5i (%5i) %p"
 #if SCHEDSTATISTICS
-                   " | %6.3f%% |  %8d"
+                   " | %4d/1k |  %8d"
 #endif
                    "\n",
                    p->pid, p->name, sname, queued, p->priority, p->stack_size, stacksz, p->stack_start