VMW_PPN_SIZE
#define VMW_PPN_PER_REMAP ((31 * 1024) / VMW_PPN_SIZE)
uint32_t remap_size = VMW_PPN_SIZE * num_pages + (sizeof(remap_cmd) + sizeof(*cmd)) * remap_num;
remap_cmd.flags = (VMW_PPN_SIZE > sizeof(*cmd)) ?
if (VMW_PPN_SIZE <= 4)
cmd += VMW_PPN_SIZE / sizeof(*cmd);
data_size *= VMW_PPN_SIZE;
#if (VMW_PPN_SIZE == 8)
unsigned long pt_size = num_data_pages * VMW_PPN_SIZE;
for (i = 0; i < PAGE_SIZE / VMW_PPN_SIZE; ++i) {