VMW_PPN_PER_REMAP
uint32_t remap_num = num_pages / VMW_PPN_PER_REMAP + ((num_pages % VMW_PPN_PER_REMAP) > 0);
unsigned long nr = min_t(unsigned long, num_pages, VMW_PPN_PER_REMAP);