Searched refs:vcpu_pages (Results 1 – 2 of 2) sorted by relevance
86 uint64_t vcpu_pages = (DEFAULT_STACK_PGS) * 2; in create_vm() local87 uint64_t extra_pg_pages = vcpu_pages / PTES_PER_MIN_PAGE * N_VCPU; in create_vm()88 uint64_t pages = DEFAULT_GUEST_PHY_PAGES + vcpu_pages + extra_pg_pages; in create_vm()
348 uint64_t vcpu_pages, extra_pg_pages, pages; in vm_create_with_vcpus() local362 vcpu_pages = (DEFAULT_STACK_PGS + num_percpu_pages) * nr_vcpus; 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()