45 	uint64_t pages;  member
70 	uint64_t pages;  in guest_code()  local
77 	pages = vcpu_args->pages;  in guest_code()
80 		for (i = 0; i < pages; i++) {  in guest_code()
97 	uint64_t pages = DEFAULT_GUEST_PHY_PAGES;  in create_vm()  local
101 	pages += DEFAULT_STACK_PGS * vcpus;  in create_vm()
109 	pages += (2 * pages) / PTES_PER_4K_PT;  in create_vm()
110 	pages += ((2 * vcpus * vcpu_memory_bytes) >> PAGE_SHIFT_4K) /  in create_vm()
112 	pages = vm_adjust_num_guest_pages(mode, pages);  in create_vm()
116 	vm = vm_create(mode, pages, O_RDWR);  in create_vm()
189 		vcpu_args->pages = vcpu_memory_bytes /  in add_vcpus()