palacios/include/palacios/vmm_intr.h

   1 /*
   2  * This file is part of the Palacios Virtual Machine Monitor developed
   3  * by the V3VEE Project with funding from the United States National
   4  * Science Foundation and the Department of Energy.
   5  *
   6  * The V3VEE Project is a joint project between Northwestern University
   7  * and the University of New Mexico.  You can find out more at
   8  * http://www.v3vee.org
   9  *
  10  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
  11  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
  12  * All rights reserved.
  13  *
  14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
  15  *
  16  * This is free software.  You are permitted to use,
  17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  18  */
  19
  20 #ifndef __VMM_INTR_H_
  21 #define __VMM_INTR_H_
  22
  23
  24 #ifdef __V3VEE__
  25
  26 #include <palacios/vmm_types.h>
  27 #include <palacios/vmm_list.h>
  28
  29
  30
  31 typedef enum {INVALID_INTR, EXTERNAL_IRQ, NMI, SOFTWARE_INTR, VIRTUAL_INTR} intr_type_t;
  32
  33 struct guest_info;
  34 struct v3_interrupt;
  35
  36
  37
  38 struct v3_irq_hook {
  39     int (*handler)(struct guest_info * info, struct v3_interrupt * intr, void * priv_data);
  40     void * priv_data;
  41 };
  42
  43
  44
  45
  46
  47 struct v3_intr_state {
  48
  49     struct list_head controller_list;
  50
  51     uint_t irq_pending;
  52     uint_t irq_vector;
  53
  54     /* some way to get the [A]PIC intr */
  55     struct v3_irq_hook * hooks[256];
  56
  57 };
  58
  59
  60
  61 void v3_init_interrupt_state(struct guest_info * info);
  62
  63
  64 int v3_raise_irq(struct guest_info * info, int irq);
  65 int v3_lower_irq(struct guest_info * info, int irq);
  66
  67
  68
  69 struct intr_ctrl_ops {
  70     int (*intr_pending)(void * private_data);
  71     int (*get_intr_number)(void * private_data);
  72     int (*raise_intr)(void * private_data, int irq);
  73     int (*lower_intr)(void * private_data, int irq);
  74     int (*begin_irq)(void * private_data, int irq);
  75 };
  76
  77
  78
  79 void v3_register_intr_controller(struct guest_info * info, struct intr_ctrl_ops * ops, void * state);
  80
  81 int v3_intr_pending(struct guest_info * info);
  82 uint_t v3_get_intr_number(struct guest_info * info);
  83 intr_type_t v3_get_intr_type(struct guest_info * info);
  84
  85 int v3_injecting_intr(struct guest_info * info, uint_t intr_num, intr_type_t type);
  86
  87 /*
  88   int start_irq(struct vm_intr * intr);
  89   int end_irq(struct vm_intr * intr, int irq);
  90 */
  91
  92
  93
  94 int v3_hook_irq(struct guest_info * info,
  95                 uint_t irq,
  96                 int (*handler)(struct guest_info * info, struct v3_interrupt * intr, void * priv_data),
  97                 void  * priv_data);
  98
  99 int v3_hook_passthrough_irq(struct guest_info *info, uint_t irq);
 100
 101
 102
 103 #endif // !__V3VEE__
 104
 105
 106
 107 #endif