Searched refs:vmcb_getdesc (Results 1 – 3 of 3) sorted by relevance
| /f-stack/freebsd/amd64/vmm/amd/ |
| H A D | vmcb.c | 419 vmcb_getdesc(void *arg, int vcpu, int reg, struct seg_desc *desc) in vmcb_getdesc() function
509 ret = vmcb_getdesc(arg, vcpu, reg, &desc); in vmcb_snapshot_desc()
|
| H A D | vmcb.h | 343 int vmcb_getdesc(void *arg, int vcpu, int ident, struct seg_desc *desc);
|
| H A D | svm.c | 2267 return (vmcb_getdesc(arg, vcpu, reg, desc)); in svm_getdesc()
|