Symbol: svm_vcpu_state_provide
sys/dev/nvmm/x86/nvmm_x86_svm.c
1234
svm_vcpu_state_provide(vcpu,
sys/dev/nvmm/x86/nvmm_x86_svm.c
1327
svm_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
sys/dev/nvmm/x86/nvmm_x86_svm.c
1350
svm_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
sys/dev/nvmm/x86/nvmm_x86_svm.c
1386
svm_vcpu_state_provide(vcpu,
sys/dev/nvmm/x86/nvmm_x86_svm.c
486
static void svm_vcpu_state_provide(struct nvmm_cpu *, uint64_t);