src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2448

struct nvmm_machine *mach = os_pmap_mach(pm);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2470

os_pmap_mach(pmap) = (void *)mach;

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3209

struct nvmm_machine *mach = os_pmap_mach(pm);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3232

os_pmap_mach(pmap) = (void *)mach;

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2448

struct nvmm_machine *mach = os_pmap_mach(pm);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2470

os_pmap_mach(pmap) = (void *)mach;

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3209

struct nvmm_machine *mach = os_pmap_mach(pm);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3232

os_pmap_mach(pmap) = (void *)mach;