XENMEM_maximum_ram_page
XENMEM_maximum_ram_page, NULL)) + MMU_PAGEOFFSET;
mfn_t max_mfn = HYPERVISOR_memory_op(XENMEM_maximum_ram_page, NULL);
if (HYPERVISOR_memory_op(XENMEM_maximum_ram_page, NULL) < mfn)
mfn_t max_mfn = HYPERVISOR_memory_op(XENMEM_maximum_ram_page, NULL);
mfn_t max_mfn = HYPERVISOR_memory_op(XENMEM_maximum_ram_page, NULL);
case XENMEM_maximum_ram_page:
HYPERVISOR_memory_op(XENMEM_maximum_ram_page, NULL);