Symbol: svm_paging_info
sys/amd64/vmm/amd/svm.c
1496
svm_paging_info(svm_get_vmcb(vcpu),
sys/amd64/vmm/amd/svm.c
858
svm_paging_info(svm_get_vmcb(vcpu), &vis->paging);
sys/amd64/vmm/amd/svm.c
917
svm_paging_info(vmcb, paging);