Lines Matching defs:ident
1721 vmx_get_guest_reg(struct vmx *vmx, int vcpu, int ident)
1727 switch (ident) {
1761 panic("invalid vmx register %d", ident);
1766 vmx_set_guest_reg(struct vmx *vmx, int vcpu, int ident, uint64_t regval)
1772 switch (ident) {
1822 panic("invalid vmx register %d", ident);
3294 int error, ident;
3305 ident = VMCS_IDENT(VMCS_GUEST_INTERRUPTIBILITY);
3306 error = vmcs_getreg(vmcs, running, ident, &gi);
3309 error = vmcs_setreg(vmcs, running, ident, gi);