Permalink
Browse files

Fix calculation of kernel blocking time.

  • Loading branch information...
1 parent f1d42c9 commit 5dc7cc654360db31f8a93985d8de9a6947a9b355 @pgj committed Aug 6, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 packages/mirage-platform/runtime/kernel/kmod.c
@@ -210,6 +210,6 @@ caml_block_kernel(value v_timeout)
CAMLparam1(v_timeout);
block_timo = Int_val(v_timeout);
MIR_DEBUG(2, printf("mirage: Blocking kernel for %d us\n", block_timo));
- pause("caml_block_kernel", (block_timo / 1000000) * hz);
+ pause("caml_block_kernel", (block_timo * hz) / 1000000);
CAMLreturn(Val_unit);
}

0 comments on commit 5dc7cc6

Please sign in to comment.