vm_inject_ac
vm_inject_ac(vcpu, 1);
void vm_inject_ac(struct vm *vm, int vcpuid, uint32_t errcode);
vm_inject_ac(vm, vcpuid, 0);