Home | Sort by: relevance | last modified time | path |
/src/sys/dev/nvmm/x86/ | |
nvmm_x86_vmx.c | 140 vmx_vmptrst(void) function in typeref:typename:paddr_t __diagused 946 KASSERT(vmx_vmptrst() == cpudata->vmcs_pa); 976 KASSERT(vmx_vmptrst() == cpudata->vmcs_pa); 994 KASSERT(vmx_vmptrst() == cpudata->vmcs_pa); |