Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


reworked some of the interrupt handling
[palacios.git] / palacios / src / palacios / vmm_intr.c
index dd36143..f0f177e 100644 (file)
@@ -18,14 +18,42 @@ void set_intr_controller(struct guest_info * info, struct intr_ctrl_ops * ops, v
 }
 
 
+
+
+
+
+
+
+
+int hook_irq(struct guest_info * info, int irq) {
+  extern struct vmm_os_hooks * os_hooks;
+
+  return os_hooks->hook_interrupt(info, irq);
+}
+
+int raise_exception_with_error(struct guest_info * info, uint_t excp, uint_t error_code) {
+  struct vm_intr * intr_state = &(info->intr_state);
+
+  if (intr_state->excp_pending) {
+    intr_state->excp_pending = 1;
+    intr_state->excp_num = excp;
+    intr_state->excp_error_code = error_code;
+    intr_state->excp_error_code_valid = 1;
+  } else {
+    return -1;
+  }
+
+  return 0;
+}
+
 int raise_exception(struct guest_info * info, uint_t excp) {
+  struct vm_intr * intr_state = &(info->intr_state);
 
-  /* We can't stack exceptions, 
-     but do we need to have some sort of priority?
-  */
-  if (info->intr_state.excp_pending) {
-    info->intr_state.excp_pending = 1;
-    info->intr_state.excp_num = excp;
+  if (intr_state->excp_pending == 0) {
+    intr_state->excp_pending = 1;
+    intr_state->excp_num = excp;
+    intr_state->excp_error_code = 0;
+    intr_state->excp_error_code_valid = 0;
   } else {
     return -1;
   }
@@ -51,10 +79,21 @@ int raise_irq(struct guest_info * info, int irq, int error_code) {
 }
 
 
-int intr_pending(struct vm_intr * intr) {
-  if (intr->excp_pending) {
+
+
+
+
+
+
+
+
+
+int intr_pending(struct guest_info * info) {
+  struct vm_intr * intr_state = &(info->intr_state);
+
+  if (intr_state->excp_pending) {
     return 1;
-  } else if (intr->controller->intr_pending(intr->controller_state)) {
+  } else if (intr_state->controller->intr_pending(intr_state->controller_state)) {
     return 1;
   }
 
@@ -64,11 +103,13 @@ int intr_pending(struct vm_intr * intr) {
 }
 
 
-uint_t get_intr_number(struct vm_intr * intr) {
-  if (intr->excp_pending) {
-    return intr->excp_num;
-  } else if (intr->controller->intr_pending(intr->controller_state)) {
-    return intr->controller->get_intr_number(intr->controller_state);
+uint_t get_intr_number(struct guest_info * info) {
+  struct vm_intr * intr_state = &(info->intr_state);
+
+  if (intr_state->excp_pending) {
+    return intr_state->excp_num;
+  } else if (intr_state->controller->intr_pending(intr_state->controller_state)) {
+    return intr_state->controller->get_intr_number(intr_state->controller_state);
   }
 
   /* someway to get the [A]PIC intr */
@@ -77,18 +118,36 @@ uint_t get_intr_number(struct vm_intr * intr) {
 }
 
 
-uint_t get_intr_type(struct vm_intr * intr) {
-  if (intr->excp_pending) {
+intr_type_t get_intr_type(struct guest_info * info) {
+ struct vm_intr * intr_state = &(info->intr_state);
+
+  if (intr_state->excp_pending) {
     return EXCEPTION;
-  } else if (intr->controller->intr_pending(intr->controller_state)) {
+  } else if (intr_state->controller->intr_pending(intr_state->controller_state)) {
     return EXTERNAL_IRQ;
   }
 
   return INVALID_INTR;
 }
 
-int hook_irq(struct guest_info * info, int irq) {
-  extern struct vmm_os_hooks * os_hooks;
 
-  return os_hooks->hook_interrupt(info, irq);
+
+
+
+
+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) {
+
+    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) {
+    return intr_state->controller->begin_irq(intr_state->controller_state, intr_num);
+  }
+
+  return 0;
 }