Searched refs:slot0_mem_pages (Results 1 – 2 of 2) sorted by relevance
344 uint64_t slot0_mem_pages, uint64_t extra_mem_pages, in vm_create_with_vcpus() argument353 if (slot0_mem_pages < DEFAULT_GUEST_PHY_PAGES) in vm_create_with_vcpus()354 slot0_mem_pages = DEFAULT_GUEST_PHY_PAGES; in vm_create_with_vcpus()363 extra_pg_pages = (slot0_mem_pages + extra_mem_pages + vcpu_pages) / PTES_PER_MIN_PAGE * 2; in vm_create_with_vcpus()364 pages = slot0_mem_pages + vcpu_pages + extra_pg_pages; in vm_create_with_vcpus()
294 uint64_t slot0_mem_pages, uint64_t extra_mem_pages,