X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_intr.c;h=242d63b4a099072b9e9da061948200a34810c7fa;hb=db45b5a19f672956e8875a116b06d7ed44c9258c;hp=7dc3c3bdb989e59dfc9f953a6b0ec44565bae646;hpb=bc2c46a12649344d973e2201271c05390ce924bf;p=palacios.git diff --git a/palacios/src/palacios/vmm_intr.c b/palacios/src/palacios/vmm_intr.c index 7dc3c3b..242d63b 100644 --- a/palacios/src/palacios/vmm_intr.c +++ b/palacios/src/palacios/vmm_intr.c @@ -1,3 +1,6 @@ +/* (c) 2008, Jack Lange */ +/* (c) 2008, The V3VEE Project */ + #include #include @@ -8,12 +11,16 @@ #define PrintDebug(fmt, args...) #endif + + +/*Zheng 07/30/2008*/ void init_interrupt_state(struct guest_info * info) { info->intr_state.excp_pending = 0; info->intr_state.excp_num = 0; info->intr_state.excp_error_code = 0; info->vm_ops.raise_irq = &v3_raise_irq; + info->vm_ops.lower_irq = &v3_lower_irq; //Zheng added } void set_intr_controller(struct guest_info * info, struct intr_ctrl_ops * ops, void * state) { @@ -73,11 +80,9 @@ void deliver_interrupt_to_vmm(struct vmm_intr_state *state) static void guest_injection_irq_handler(struct vmm_intr_state *state) { - PrintDebug("guest_irq_injection: state=0x%x\n",state); - struct guest_info *guest = (struct guest_info *)(state->opaque); - - PrintDebug("guest_irq_injection: injecting irq 0x%x into guest 0x%x\n",state->irq,guest); + PrintDebug("[guest_injection_irq_handler] raise_irq=0x%x (guest=0x%x)\n", state->irq, guest); + PrintDebug("guest_irq_injection: state=0x%x\n", state); guest->vm_ops.raise_irq(guest,state->irq); } @@ -90,10 +95,10 @@ int v3_hook_irq_for_guest_injection(struct guest_info *info, int irq) info); if (rc) { - PrintError("guest_irq_injection: failed to hook irq 0x%x for guest 0x%x\n", irq,info); + PrintError("guest_irq_injection: failed to hook irq 0x%x (guest=0x%x)\n", irq, info); return -1; } else { - PrintDebug("guest_irq_injection: hooked irq 0x%x for guest 0x%x\n", irq,info); + PrintDebug("guest_irq_injection: hooked irq 0x%x (guest=0x%x)\n", irq, info); return 0; } } @@ -109,7 +114,7 @@ int v3_raise_exception_with_error(struct guest_info * info, uint_t excp, uint_t intr_state->excp_num = excp; intr_state->excp_error_code = error_code; intr_state->excp_error_code_valid = 1; - PrintDebug("Raising exception with error code: %x\n", error_code); + PrintDebug("[v3_raise_exception_with_error] error code: %x\n", error_code); } else { PrintError("exception already pending, currently not implemented\n"); return -1; @@ -120,7 +125,7 @@ int v3_raise_exception_with_error(struct guest_info * info, uint_t excp, uint_t int v3_raise_exception(struct guest_info * info, uint_t excp) { struct vm_intr * intr_state = &(info->intr_state); - + PrintDebug("[v3_raise_exception]\n"); if (intr_state->excp_pending == 0) { intr_state->excp_pending = 1; intr_state->excp_num = excp; @@ -134,6 +139,25 @@ int v3_raise_exception(struct guest_info * info, uint_t excp) { return 0; } +/*Zheng 07/30/2008*/ + +int v3_lower_irq(struct guest_info * info, int irq) { + // Look up PIC and resend + V3_ASSERT(info); + V3_ASSERT(info->intr_state.controller); + V3_ASSERT(info->intr_state.controller->raise_intr); + + PrintDebug("[v3_lower_irq]\n"); + + // if ((info->intr_state.controller) && + // (info->intr_state.controller->raise_intr)) { + info->intr_state.controller->lower_intr(info->intr_state.controller_state, irq); + //} else { + // PrintDebug("There is no registered Interrupt Controller... (NULL POINTER)\n"); + // return -1; + //} + return 0; +} int v3_raise_irq(struct guest_info * info, int irq) { // Look up PIC and resend @@ -141,6 +165,8 @@ int v3_raise_irq(struct guest_info * info, int irq) { V3_ASSERT(info->intr_state.controller); V3_ASSERT(info->intr_state.controller->raise_intr); + PrintDebug("[v3_raise_irq]\n"); + // if ((info->intr_state.controller) && // (info->intr_state.controller->raise_intr)) { info->intr_state.controller->raise_intr(info->intr_state.controller_state, irq); @@ -151,11 +177,12 @@ int v3_raise_irq(struct guest_info * info, int irq) { return 0; } - + int intr_pending(struct guest_info * info) { struct vm_intr * intr_state = &(info->intr_state); + // PrintDebug("[intr_pending]\n"); if (intr_state->excp_pending == 1) { return 1; } else if (intr_state->controller->intr_pending(intr_state->controller_state) == 1) { @@ -174,6 +201,7 @@ uint_t get_intr_number(struct guest_info * info) { if (intr_state->excp_pending == 1) { return intr_state->excp_num; } else if (intr_state->controller->intr_pending(intr_state->controller_state)) { + PrintDebug("[get_intr_number] intr_number = %d\n", intr_state->controller->get_intr_number(intr_state->controller_state)); return intr_state->controller->get_intr_number(intr_state->controller_state); } @@ -187,11 +215,13 @@ intr_type_t get_intr_type(struct guest_info * info) { struct vm_intr * intr_state = &(info->intr_state); if (intr_state->excp_pending) { + PrintDebug("[get_intr_type] Exception\n"); return EXCEPTION; } else if (intr_state->controller->intr_pending(intr_state->controller_state)) { + PrintDebug("[get_intr_type] External_irq\n"); return EXTERNAL_IRQ; } - + PrintDebug("[get_intr_type] Invalid_Intr\n"); return INVALID_INTR; } @@ -204,13 +234,14 @@ int injecting_intr(struct guest_info * info, uint_t intr_num, intr_type_t type) struct vm_intr * intr_state = &(info->intr_state); if (type == EXCEPTION) { - + PrintDebug("[injecting_intr] Exception\n"); intr_state->excp_pending = 0; intr_state->excp_num = 0; intr_state->excp_error_code = 0; intr_state->excp_error_code_valid = 0; } else if (type == EXTERNAL_IRQ) { + PrintDebug("[injecting_intr] External_Irq with intr_num = %x\n", intr_num); return intr_state->controller->begin_irq(intr_state->controller_state, intr_num); }