Symbol: vmx_vcpu_state_provide
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1880
vmx_vcpu_state_provide(vcpu,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1992
vmx_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2018
vmx_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2078
vmx_vcpu_state_provide(vcpu,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
598
static void vmx_vcpu_state_provide(struct nvmm_cpu *, uint64_t);