VM_REG_GUEST_INTR_SHADOW
VM_REG_GUEST_INTR_SHADOW, /* VMM_REG_INTR_SHADOW */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_INTR_SHADOW,
case VM_REG_GUEST_INTR_SHADOW:
case VM_REG_GUEST_INTR_SHADOW:
if (reg == VM_REG_GUEST_INTR_SHADOW) {
if (reg == VM_REG_GUEST_INTR_SHADOW) {
error = vm_set_register(vm, vcpuid, VM_REG_GUEST_INTR_SHADOW, 0);
VERIFY0(vm_set_register(vm, vcpuid, VM_REG_GUEST_INTR_SHADOW, 0));