Symbol: vmx_vcpu_setstate_seg
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
2513
vmx_vcpu_setstate_seg(const struct nvmm_x64_state_seg *segs, int idx)
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
2513
vmx_vcpu_setstate_seg(const struct nvmm_x64_state_seg *segs, int idx)