removed floating point operations from profiler

diff --git a/palacios/src/palacios/vmm_profiler.c b/palacios/src/palacios/vmm_profiler.c
index f7bc878..567f652 100644 (file)
--- a/palacios/src/palacios/vmm_profiler.c
+++ b/palacios/src/palacios/vmm_profiler.c
@@ -120,9 +120,10 @@ void v3_profile_exit(struct guest_info * info, uint_t exit_code) {
        insert_event(info, evt);
     }
 
+    
   
 
-    evt->handler_time = (evt->handler_time * .99) + (time * .01);
+    evt->handler_time = (evt->handler_time * 127ull + time) / 128;
 
 
     evt->exit_count++;