IDT_AC
setidt(IDT_AC, pti ? &IDTVEC(align_pti) : &IDTVEC(align), SDT_SYSIGT,
[IDT_AC] = T_ALIGNFLT,
case IDT_AC:
case IDT_AC:
vm_inject_fault(vcpu, IDT_AC, 1, errcode);
case IDT_AC:
setidt(IDT_AC, &IDTVEC(align), SDT_SYS386IGT, SEL_KPL,