Searched defs:num_percpu_pages (Results 1 – 1 of 1) sorted by relevance
389 uint32_t num_percpu_pages, void *guest_code, in vm_create_with_vcpus()433 uint32_t num_percpu_pages, void *guest_code, in vm_create_default_with_vcpus()