Symbol: vmx_paging_info
sys/amd64/vmm/intel/vmx.c
2095
vmx_paging_info(paging);
sys/amd64/vmm/intel/vmx.c
2482
vmx_paging_info(&ts->paging);
sys/amd64/vmm/intel/vmx.c
2656
vmx_paging_info(&vis->paging);