Searched refs:extra_pg_pages (Results 1 – 3 of 3) sorted by relevance
87 uint64_t extra_pg_pages = vcpu_pages / PTES_PER_MIN_PAGE * N_VCPU; in create_vm() local88 uint64_t pages = DEFAULT_GUEST_PHY_PAGES + vcpu_pages + extra_pg_pages; in create_vm()
678 uint64_t extra_pg_pages = extra_mem_pages / 512 * 2; in create_vm() local682 vm = vm_create(mode, DEFAULT_GUEST_PHY_PAGES + extra_pg_pages, O_RDWR); in create_vm()
348 uint64_t vcpu_pages, extra_pg_pages, pages; in vm_create_with_vcpus() local363 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()