printf("DMMU read: hit %d(%d%%), miss %d\n", dmmu_stats.loads_tlbhit,(dmmu_stats.loads_tlbhit*100)/ SD(dmmu_stats.loads_tlbhit+ dmmu_stats.loads_tlbmiss), dmmu_stats.loads_tlbmiss);
printf("DMMU read: hit %d(%d%%), miss %d\n", dmmu_stats.loads_tlbhit,(dmmu_stats.loads_tlbhit*100)/ SD(dmmu_stats.loads_tlbhit+ dmmu_stats.loads_tlbmiss), dmmu_stats.loads_tlbmiss);