Symbol: nvmm_vcpu_exit
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.h
134
#define nvmm_vcpu_exit nvmm_x86_exit
src/libs/nvmm/driver/x86/nvmm_x86.h
134
#define nvmm_vcpu_exit nvmm_x86_exit