HomeSort by: relevance | last modified time | path
    Searched refs:NVMM_X64_STATE_GPRS (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/dev/nvmm/x86/
nvmm_x86.h 249 #define NVMM_X64_STATE_GPRS 0x02
256 (NVMM_X64_STATE_SEGS | NVMM_X64_STATE_GPRS | NVMM_X64_STATE_CRS | \
nvmm_x86_svm.c 1216 NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
1308 svm_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
1331 svm_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
1368 NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
1906 if (flags & NVMM_X64_STATE_GPRS) {
2043 if (flags & NVMM_X64_STATE_GPRS) {
nvmm_x86_vmx.c 1846 NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
1957 vmx_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
1983 vmx_vcpu_state_provide(vcpu, NVMM_X64_STATE_GPRS);
2040 NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
2610 if (flags & NVMM_X64_STATE_GPRS) {
2762 if (flags & NVMM_X64_STATE_GPRS) {
  /src/lib/libnvmm/
libnvmm_x86.c 737 NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
846 ret = nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_GPRS);
3426 NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
3490 ret = nvmm_vcpu_setstate(mach, vcpu, NVMM_X64_STATE_GPRS);

Completed in 63 milliseconds