Lines Matching defs:pages
54 uint64_t pages;
62 pages = vcpu_args->pages;
71 for (i = 0; i < pages; i++) {
73 page = guest_random_u32(&rand_state) % pages;
107 vcpu_args->pages = vcpu_memory_bytes /
112 vcpu_args->pages = (nr_vcpus * vcpu_memory_bytes) /
121 (vcpu_args->pages * args->guest_page_size));
144 * access/dirty pages at the logging granularity.
160 * If using nested, allocate extra pages for the nested page tables and
189 * can be pages in the guest, it will definitely cause problems.
193 " guest pages: %" PRIx64 " max gfn: %" PRIx64