X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=c8ec4c7b05abae8eeb085f79b591360e2b515462;hb=2af24dee6386a5fc694d74fa4281dff8b8e2f148;hp=6a65d37639a80561a7afeeab8b07b8e7b24e4d81;hpb=1f7a670397e97ea1028294d7b7b45d6ef1797d65;p=palacios.git diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c index 6a65d37..c8ec4c7 100644 --- a/palacios/src/devices/apic.c +++ b/palacios/src/devices/apic.c @@ -182,6 +182,7 @@ struct apic_state { uint32_t eoi; + struct guest_info * core; }; static void apic_incoming_ipi(void *val); @@ -959,7 +960,7 @@ int v3_apic_raise_intr(struct guest_info * info, struct vm_device * apic_dev, in /* Timer Functions */ -static void apic_update_time(ullong_t cpu_cycles, ullong_t cpu_freq, void * priv_data) { +static void apic_update_time(struct guest_info * info, ullong_t cpu_cycles, ullong_t cpu_freq, void * priv_data) { struct vm_device * dev = (struct vm_device *)priv_data; struct apic_state * apic = (struct apic_state *)dev->private_data; // The 32 bit GCC runtime is a pile of shit @@ -1027,7 +1028,7 @@ static void apic_update_time(ullong_t cpu_cycles, ullong_t cpu_freq, void * priv PrintDebug("Raising APIC Timer interrupt (periodic=%d) (icnt=%d) (div=%d)\n", apic->tmr_vec_tbl.tmr_mode, apic->tmr_init_cnt, shift_num); - if (apic_intr_pending(dev->vm, priv_data)) { + if (apic_intr_pending(info, priv_data)) { PrintDebug("Overriding pending IRQ %d\n", apic_get_intr_number(dev->vm, priv_data)); } @@ -1106,9 +1107,9 @@ static struct vm_timer_ops timer_ops = { static int apic_free(struct vm_device * dev) { - struct guest_info * info = dev->vm; + // struct apic_state * apic = (struct apic_state *)dev->private_data; - v3_unhook_msr(info, BASE_ADDR_MSR); + v3_unhook_msr(dev->vm, BASE_ADDR_MSR); return 0; } @@ -1123,7 +1124,7 @@ static struct v3_device_ops dev_ops = { -static int apic_init(struct guest_info * vm, v3_cfg_tree_t * cfg) { +static int apic_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) { PrintDebug("Creating APIC\n"); char * name = v3_cfg_val(cfg, "name");