Searched refs:VMCS_NPAGES (Results 1 – 1 of 1) sorted by relevance
731 #define VMCS_NPAGES 1 macro732 #define VMCS_SIZE (VMCS_NPAGES * PAGE_SIZE)3054 (vaddr_t *)&cpudata->vmcs, VMCS_NPAGES); in vmx_vcpu_create()3080 VMCS_NPAGES); in vmx_vcpu_create()3105 VMCS_NPAGES); in vmx_vcpu_destroy()