struct redir_tbl_entry redir_tbl[24];
void * apic_dev_data;
+
+ void * router_handle;
+
+ struct v3_vm_info * vm;
};
if (irq_entry->mask == 0) {
struct v3_gen_ipi ipi;
- PrintDebug("ioapic %u: IOAPIC Signalling APIC to raise INTR %d\n",
+ PrintDebug("ioapic %u: IOAPIC Signaling APIC to raise INTR %d\n",
ioapic->ioapic_id.id, irq_entry->vec);
ipi.dst = irq_entry->dst_field;
ipi.dst_shorthand = 0;
+
+ PrintDebug("ioapic %u: IPI: vector 0x%x, mode 0x%x, logical 0x%x, trigger 0x%x, dst 0x%x, shorthand 0x%x\n",
+ ioapic->ioapic_id.id, ipi.vector, ipi.mode, ipi.logical, ipi.trigger_mode, ipi.dst, ipi.dst_shorthand);
// Need to add destination argument here...
if (v3_apic_send_ipi(vm, &ipi, ioapic->apic_dev_data) == -1) {
PrintError("Error sending IPI to apic %d\n", ipi.dst);
-static int io_apic_free(struct vm_device * dev) {
- // struct guest_info * info = dev->vm;
+static int io_apic_free(struct io_apic_state * ioapic) {
+
+ v3_remove_intr_router(ioapic->vm, ioapic->router_handle);
+
+ // unhook memory
+
+ V3_Free(ioapic);
return 0;
}
static struct v3_device_ops dev_ops = {
- .free = io_apic_free,
+ .free = (int (*)(void *))io_apic_free,
};
ioapic->apic_dev_data = apic_dev;
- struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, ioapic);
+ struct vm_device * dev = v3_add_device(vm, dev_id, &dev_ops, ioapic);
-
- if (v3_attach_device(vm, dev) == -1) {
+ if (dev == NULL) {
PrintError("ioapic: Could not attach device %s\n", dev_id);
+ V3_Free(ioapic);
return -1;
}
-
- v3_register_intr_router(vm, &router_ops, ioapic);
+ ioapic->router_handle = v3_register_intr_router(vm, &router_ops, ioapic);
+ ioapic->vm = vm;
init_ioapic_state(ioapic, vm->num_cores);