occ: use tb_to_msec rather than hard coding it

Signed-off-by: Stewart Smith <stewart@linux.vnet.ibm.com>
Reviewed-by: Vaidyanathan Srinivasan <svaidy@linux.vnet.ibm.com>

1 files changed, 2 insertions, 2 deletions

diff --git a/hw/occ.c b/hw/occ.c
index b606a67..c845732 100644
--- a/hw/occ.c
+++ b/hw/occ.c
@@ -154,8 +154,8 @@ static bool wait_for_all_occ_init(void)
 		      *(uint64_t *)occ_data_area);
 	}
 	end_time = mftb();
-	prlog(PR_NOTICE, "OCC: All Chip Rdy after %lld ms\n",
-	      (end_time - start_time) / 512 / 1000);
+	prlog(PR_NOTICE, "OCC: All Chip Rdy after %lu ms\n",
+	      tb_to_msecs(end_time - start_time));
 	return true;
 }