-
struct intr_controller {
struct intr_ctrl_ops * ctrl_ops;
};
+
+
void v3_init_intr_controllers(struct guest_info * info) {
struct v3_intr_core_state * intr_state = &(info->intr_core_state);
intr_state->irq_started = 0;
intr_state->irq_vector = 0;
+ v3_lock_init(&(intr_state->irq_lock));
+
INIT_LIST_HEAD(&(intr_state->controller_list));
}
+
+void v3_deinit_intr_controllers(struct guest_info * core) {
+ struct v3_intr_core_state * intr_state = &(core->intr_core_state);
+ struct intr_controller * ctrlr;
+ struct intr_controller * tmp;
+
+ // clear out any controllers that were left around
+ list_for_each_entry_safe(ctrlr, tmp, &(intr_state->controller_list), ctrl_node) {
+ v3_remove_intr_controller(core, ctrlr);
+ }
+}
+
+
void v3_init_intr_routers(struct v3_vm_info * vm) {
INIT_LIST_HEAD(&(vm->intr_routers.router_list));
}
-int v3_register_intr_controller(struct guest_info * info, struct intr_ctrl_ops * ops, void * priv_data) {
+void v3_deinit_intr_routers(struct v3_vm_info * vm) {
+ struct intr_router * rtr = NULL;
+ struct intr_router * tmp = NULL;
+
+ // clear out any controllers that were left around
+ list_for_each_entry_safe(rtr, tmp, &(vm->intr_routers.router_list), router_node) {
+ v3_remove_intr_router(vm, rtr);
+ }
+}
+
+
+void * v3_register_intr_controller(struct guest_info * info, struct intr_ctrl_ops * ops, void * priv_data) {
struct intr_controller * ctrlr = (struct intr_controller *)V3_Malloc(sizeof(struct intr_controller));
ctrlr->priv_data = priv_data;
list_add(&(ctrlr->ctrl_node), &(info->intr_core_state.controller_list));
- return 0;
+ return (void *)ctrlr;
}
-int v3_register_intr_router(struct v3_vm_info * vm, struct intr_router_ops * ops, void * priv_data) {
+
+void v3_remove_intr_controller(struct guest_info * core, void * handle) {
+ struct v3_intr_core_state * intr_state = &(core->intr_core_state);
+ struct intr_controller * ctrlr = handle;
+ struct intr_controller * tmp = NULL;
+ int found = 0;
+
+ // search for the entry in the router list
+ list_for_each_entry(tmp, &(intr_state->controller_list), ctrl_node) {
+ if (tmp == ctrlr) {
+ found = 1;
+ }
+ }
+
+ if (found == 0) {
+ PrintError("Attempted to remove invalid interrupt controller handle\n");
+ return;
+ }
+
+ list_del(&(ctrlr->ctrl_node));
+ V3_Free(ctrlr);
+}
+
+
+void * v3_register_intr_router(struct v3_vm_info * vm, struct intr_router_ops * ops, void * priv_data) {
struct intr_router * router = (struct intr_router *)V3_Malloc(sizeof(struct intr_router));
router->priv_data = priv_data;
list_add(&(router->router_node), &(vm->intr_routers.router_list));
- return 0;
+ return (void *)router;
}
+void v3_remove_intr_router(struct v3_vm_info * vm, void * handle) {
+ struct intr_router * router = handle;
+ struct intr_router * tmp = NULL;
+ int found = 0;
+
+ // search for the entry in the router list
+ list_for_each_entry(tmp, &(vm->intr_routers.router_list), router_node) {
+ if (tmp == router) {
+ found = 1;
+ }
+ }
+
+ if (found == 0) {
+ PrintError("Attempted to remove invalid interrupt router\n");
+ return;
+ }
+
+ list_del(&(router->router_node));
+ V3_Free(router);
+}
+
static inline struct v3_irq_hook * get_irq_hook(struct v3_vm_info * vm, uint_t irq) {
V3_ASSERT(irq <= 256);
}
-
static int passthrough_irq_handler(struct v3_vm_info * vm, struct v3_interrupt * intr, void * priv_data) {
PrintDebug("[passthrough_irq_handler] raise_irq=%d (guest=0x%p)\n",
intr->irq, (void *)vm);
return v3_raise_irq(vm, intr->irq);
}
+
int v3_hook_passthrough_irq(struct v3_vm_info * vm, uint_t irq) {
int rc = v3_hook_irq(vm, irq, passthrough_irq_handler, NULL);
}
-
-
-
int v3_deliver_irq(struct v3_vm_info * vm, struct v3_interrupt * intr) {
PrintDebug("v3_deliver_irq: irq=%d state=0x%p, \n", intr->irq, (void *)intr);
}
-
-
-
int v3_raise_virq(struct guest_info * info, int irq) {
struct v3_intr_core_state * intr_state = &(info->intr_core_state);
int major = irq / 8;
return 0;
}
+
int v3_lower_virq(struct guest_info * info, int irq) {
struct v3_intr_core_state * intr_state = &(info->intr_core_state);
int major = irq / 8;
return 0;
}
+
int v3_raise_irq(struct v3_vm_info * vm, int irq) {
struct intr_router * router = NULL;
struct v3_intr_routers * routers = &(vm->intr_routers);
}
+int v3_signal_sw_intr(struct guest_info * core, int vec) {
+ struct v3_intr_core_state * intr_state = &(core->intr_core_state);
+
+ PrintDebug("KCH: Signalling a software interrupt in vmm_intr.c\n");
+ PrintDebug("\tINT vector: %d\n", vec);
+
+ intr_state->sw_intr_pending = 1;
+ intr_state->sw_intr_vector = vec;
+ return 0;
+}
+
+
+void v3_clear_pending_intr(struct guest_info * core) {
+ struct v3_intr_core_state * intr_state = &(core->intr_core_state);
+
+ intr_state->irq_pending = 0;
+}
+
v3_intr_type_t v3_intr_pending(struct guest_info * info) {
struct v3_intr_core_state * intr_state = &(info->intr_core_state);
}
}
+ // KCH: not sure about this
+ if (intr_state->sw_intr_pending == 1) {
+ ret = V3_SOFTWARE_INTR;
+ }
+
+
v3_unlock_irqrestore(intr_state->irq_lock, irq_state);
return ret;
*/
-
-
-
int v3_injecting_intr(struct guest_info * info, uint_t intr_num, v3_intr_type_t type) {
struct v3_intr_core_state * intr_state = &(info->intr_core_state);