Symbol: nvmm_vcpu_alloc
src/add-ons/kernel/drivers/nvmm/nvmm.c
133
nvmm_vcpu_alloc(struct nvmm_machine *mach, nvmm_cpuid_t cpuid,
src/libs/nvmm/driver/nvmm.c
133
nvmm_vcpu_alloc(struct nvmm_machine *mach, nvmm_cpuid_t cpuid,