page_lvl0_idx = gasket_extended_lvl0_page_idx(pg_tbl, dev_addr);
 
        /* Get the count of affected level 0 pages. */
-       num_lvl0_pages = (num_pages + GASKET_PAGES_PER_SUBTABLE - 1) /
-               GASKET_PAGES_PER_SUBTABLE;
+       num_lvl0_pages = DIV_ROUND_UP(num_pages, GASKET_PAGES_PER_SUBTABLE);
 
        if (gasket_components_to_dev_address(pg_tbl, 0, page_global_idx,
                                             page_offset) != dev_addr) {
        dma_addr_t handle;
        void *mem;
        int j;
-       unsigned int num_pages = (size + PAGE_SIZE - 1) / PAGE_SIZE;
+       unsigned int num_pages = DIV_ROUND_UP(size, PAGE_SIZE);
        const struct gasket_driver_desc *driver_desc =
                gasket_get_driver_desc(gasket_dev);