IDT_AC
vm_inject_fault(vcpu, IDT_AC, 1, errcode);
case IDT_AC:
VERIFY0(vm_inject_exception(vm, vcpuid, IDT_AC, true, errcode, true));