Searched refs:vmcs_setdesc (Results 1 - 3 of 3) sorted by relevance
| /freebsd-11-stable/sys/amd64/vmm/intel/ |
| H A D | vmcs.c | 249 vmcs_setdesc(struct vmcs *vmcs, int running, int seg, struct seg_desc *desc) function
256 panic("vmcs_setdesc: invalid segment register %d", seg);
|
| H A D | vmcs.h | 54 int vmcs_setdesc(struct vmcs *vmcs, int running, int ident,
|
| H A D | vmx.c | 3290 return (vmcs_setdesc(&vmx->vmcs[vcpu], running, reg, desc));
|
Completed in 68 milliseconds