diff --git a/vmm/src/memory_manager.rs b/vmm/src/memory_manager.rs
index e62bc4236..267bba586 100644
--- a/vmm/src/memory_manager.rs
+++ b/vmm/src/memory_manager.rs
@@ -1968,9 +1968,8 @@ impl MemoryManager {
         }
 
         // Place the SGX EPC region on a 4k boundary between the RAM and the device area
-        let epc_region_start = GuestAddress(
-            ((self.start_of_device_area.0 + SGX_PAGE_SIZE - 1) / SGX_PAGE_SIZE) * SGX_PAGE_SIZE,
-        );
+        let epc_region_start =
+            GuestAddress(self.start_of_device_area.0.div_ceil(SGX_PAGE_SIZE) * SGX_PAGE_SIZE);
 
         self.start_of_device_area = epc_region_start
             .checked_add(epc_region_size)