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

  /src/sys/dev/nvmm/x86/
nvmm_x86_vmx.c 2520 vmx_vcpu_getstate_seg(struct nvmm_x64_state_seg *segs, int idx) function in typeref:typename:void
2749 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_CS);
2750 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_DS);
2751 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_ES);
2752 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_FS);
2753 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GS);
2754 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_SS);
2755 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GDT);
2756 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_IDT);
2757 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_LDT)
    [all...]
nvmm_x86_vmx.c 2520 vmx_vcpu_getstate_seg(struct nvmm_x64_state_seg *segs, int idx) function in typeref:typename:void
2749 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_CS);
2750 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_DS);
2751 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_ES);
2752 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_FS);
2753 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GS);
2754 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_SS);
2755 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GDT);
2756 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_IDT);
2757 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_LDT)
    [all...]
nvmm_x86_vmx.c 2520 vmx_vcpu_getstate_seg(struct nvmm_x64_state_seg *segs, int idx) function in typeref:typename:void
2749 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_CS);
2750 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_DS);
2751 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_ES);
2752 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_FS);
2753 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GS);
2754 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_SS);
2755 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_GDT);
2756 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_IDT);
2757 vmx_vcpu_getstate_seg(state->segs, NVMM_X64_SEG_LDT)
    [all...]

Completed in 37 milliseconds