vioapic_process_eoi
void vioapic_process_eoi(struct vm *vm, int vcpuid, int vector);
vioapic_process_eoi(vlapic->vm, vlapic->vcpuid,
vioapic_process_eoi(vm, vcpuid,