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.


added PIC device
Jack Lange [Fri, 25 Apr 2008 19:56:34 +0000 (19:56 +0000)]
palacios/include/palacios/vmm_intr.h
palacios/src/devices/8259a.c
palacios/src/geekos/vm.c

index 2f3596d..5430848 100644 (file)
@@ -49,6 +49,7 @@ struct intr_ctrl_ops {
   int (*intr_pending)(void * private_data);
   int (*get_intr_number)(void * private_data);
   int (*raise_intr)(void * private_data, int irq, int error_code);
+  int (*begin_irq)(void * private_data, int irq);
 };
 
 
@@ -62,4 +63,6 @@ int intr_pending(struct vm_intr * intr);
 uint_t get_intr_number(struct vm_intr * intr);
 intr_types_t get_intr_type(struct vm_intr * intr);
 
+int start_irq(struct vm_intr * intr);
+int end_irq(struct vm_intr * intr, int irq);
 #endif
index 2e305e9..efa14e4 100644 (file)
@@ -130,9 +130,9 @@ static int pic_raise_intr(void * private_data, int irq, int error_code) {
   }
 
   if (irq <= 7) {
-    state->master_irr |= 0x1 << irq;
+    state->master_irr |= 0x01 << irq;
   } else if ((irq > 7) && (irq < 16)) {
-    state->slave_irr |= 0x1 << (irq - 7);
+    state->slave_irr |= 0x01 << (irq - 7);
   } else {
     return -1;
   }
@@ -157,11 +157,11 @@ static int pic_get_intr_number(void * private_data) {
 
   for (i = 0; i < 16; i++) {
     if (i <= 7) {
-      if (((state->master_irr & ~(state->master_imr)) >> i) == 0x1) {
+      if (((state->master_irr & ~(state->master_imr)) >> i) == 0x01) {
        return i;
       }
     } else {
-      if (((state->slave_irr & ~(state->slave_imr)) >> i) == 0x1) {
+      if (((state->slave_irr & ~(state->slave_imr)) >> i) == 0x01) {
        return i;
       }
     }
@@ -171,10 +171,22 @@ static int pic_get_intr_number(void * private_data) {
 }
 
 
+static int begin_irq(void * private_data, int irq) {
+
+  return 0;
+}
+
+static int end_irq(void * private_data, int irq) {
+
+  return 0;
+}
+
+
 static struct intr_ctrl_ops intr_ops = {
   .intr_pending = pic_intr_pending,
   .get_intr_number = pic_get_intr_number,
-  .raise_intr = pic_raise_intr
+  .raise_intr = pic_raise_intr,
+  .begin_irq = begin_irq,
 };
 
 
@@ -189,9 +201,9 @@ int read_master_port1(ushort_t port, void * dst, uint_t length, struct vm_device
     //error
   }
   
-  if ((state->master_ocw3 & 0x3) == 0x2) {
+  if ((state->master_ocw3 & 0x03) == 0x02) {
     *(char *)dst = state->master_irr;
-  } else if ((state->master_ocw3 & 0x3) == 0x3) {
+  } else if ((state->master_ocw3 & 0x03) == 0x03) {
     *(char *)dst = state->master_isr;
   } else {
     *(char *)dst = 0;
@@ -218,9 +230,9 @@ int read_slave_port1(ushort_t port, void * dst, uint_t length, struct vm_device
     // error
   }
   
-  if ((state->slave_ocw3 & 0x3) == 0x2) {
+  if ((state->slave_ocw3 & 0x03) == 0x02) {
     *(char*)dst = state->slave_irr;
-  } else if ((state->slave_ocw3 & 0x3) == 0x3) {
+  } else if ((state->slave_ocw3 & 0x03) == 0x03) {
     *(char *)dst = state->slave_isr;
   } else {
     *(char *)dst = 0;
@@ -254,6 +266,16 @@ int write_master_port1(ushort_t port, void * src, uint_t length, struct vm_devic
     state->master_state = ICW2;
   } else if (state->master_state == READY) {
     if (IS_OCW2(cw)) {
+      // handle the EOI here
+      struct ocw2 * cw2 =  (struct ocw2 *)cw;
+      
+      if ((cw2->EOI) && (!cw2->R) && (cw2->SL)) {
+       // specific EOI;
+       state->master_isr &= ~(0x01 << cw2->level);
+      } else {
+       // error;
+      }
+
       state->master_ocw2 = cw;
     } else if (IS_OCW3(cw)) {
       state->master_ocw3 = cw;
@@ -324,8 +346,19 @@ int write_slave_port1(ushort_t port, void * src, uint_t length, struct vm_device
     state->slave_state = ICW2;
   } else if (state->slave_state == READY) {
     if (IS_OCW2(cw)) {
+      // handle the EOI here
+      struct ocw2 * cw2 =  (struct ocw2 *)cw;
+      
+      if ((cw2->EOI) && (!cw2->R) && (cw2->SL)) {
+       // specific EOI;
+       state->slave_isr &= ~(0x01 << cw2->level);
+      } else {
+       // error;
+      }
+
       state->slave_ocw2 = cw;
     } else if (IS_OCW3(cw)) {
+      // Basically sets the IRR/ISR read flag
       state->slave_ocw3 = cw;
     } else {
       // error
@@ -401,7 +434,7 @@ int pic_init(struct vm_device * dev) {
   state->master_icw4 = 0;
   state->master_imr = 0;
   state->master_ocw2 = 0;
-  state->master_ocw3 = 0x2;
+  state->master_ocw3 = 0x02;
   state->master_state = ICW1;
 
 
@@ -413,7 +446,7 @@ int pic_init(struct vm_device * dev) {
   state->slave_icw4 = 0;
   state->slave_imr = 0;
   state->slave_ocw2 = 0;
-  state->slave_ocw3 = 0x2;
+  state->slave_ocw3 = 0x02;
   state->slave_state = ICW1;
 
 
index 2697333..75714c4 100644 (file)
@@ -303,9 +303,6 @@ int RunVMM(struct Boot_Info * bootInfo) {
        attach_device(&(vm_info), pic);
 
        PrintDebugDevMgr(&(vm_info.dev_mgr));
-       
-
-
       }