Searched refs:vmcb_getdesc (Results 1 – 3 of 3) sorted by relevance
| /NextBSD/sys/amd64/vmm/amd/ |
| HD | vmcb.c | 404 vmcb_getdesc(void *arg, int vcpu, int reg, struct seg_desc *desc) in vmcb_getdesc() function
|
| HD | vmcb.h | 330 int vmcb_getdesc(void *arg, int vcpu, int ident, struct seg_desc *desc);
|
| HD | svm.c | 677 error = vmcb_getdesc(svm_sc, vcpu, vis->seg_name, &vis->seg_desc); in svm_inout_str_seginfo()
2238 vmcb_getdesc,
|