palacios/src/devices/simple_pic.c

   1 #include <devices/simple_pic.h>
   2 #include <palacios/vmm_intr.h>
   3 #include <palacios/vmm_types.h>
   4 #include <palacios/vmm.h>
   5
   6 struct pic_internal {
   7   int pending_irq;
   8   int error_code;
   9 };
  10
  11
  12 int pic_intr_pending(void * private_data) {
  13   struct pic_internal * data = (struct pic_internal *)private_data;
  14
  15   return (data->pending_irq > 0);
  16 }
  17
  18 int pic_raise_intr(void * private_data, int irq, int error_code) {
  19   struct pic_internal * data = (struct pic_internal *)private_data;
  20
  21   data->pending_irq = irq;
  22   data->error_code = error_code;
  23
  24   return 0;
  25 }
  26
  27
  28 int pic_get_intr_number(void * private_data) {
  29   struct pic_internal * data = (struct pic_internal *)private_data;
  30
  31   return data->pending_irq;
  32 }
  33
  34
  35 static struct intr_ctrl_ops intr_ops = {
  36   .intr_pending = pic_intr_pending,
  37   .get_intr_number = pic_get_intr_number,
  38   .raise_intr = pic_raise_intr
  39 };
  40
  41
  42
  43
  44 int pic_init_device(struct vm_device * dev) {
  45   struct pic_internal * data = (struct pic_internal *)dev->private_data;
  46   set_intr_controller(dev->vm, &intr_ops, data);
  47   data->pending_irq = 0;
  48
  49   return 0;
  50 }
  51
  52
  53 int pic_deinit_device(struct vm_device * dev) {
  54   return 0;
  55 }
  56
  57
  58
  59
  60
  61 static struct vm_device_ops dev_ops = {
  62   .init = pic_init_device,
  63   .deinit = pic_deinit_device,
  64   .reset = NULL,
  65   .start = NULL,
  66   .stop = NULL
  67 };
  68
  69
  70 struct vm_device * create_pic() {
  71   struct pic_internal * state = NULL;
  72   VMMMalloc(struct pic_internal *, state, sizeof(struct pic_internal));
  73
  74   struct vm_device * pic_dev = create_device("Simple Pic", &dev_ops, state);
  75
  76
  77   return pic_dev;
  78 }