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_intr.h>
  27 #include <palacios/vmm_types.h>
  28
  29 #define DE_EXCEPTION          0x00
  30 #define DB_EXCEPTION          0x01
  31 #define NMI_EXCEPTION         0x02
  32 #define BP_EXCEPTION          0x03
  33 #define OF_EXCEPTION          0x04
  34 #define BR_EXCEPTION          0x05
  35 #define UD_EXCEPTION          0x06
  36 #define NM_EXCEPTION          0x07
  37 #define DF_EXCEPTION          0x08
  38 #define TS_EXCEPTION          0x0a
  39 #define NP_EXCEPTION          0x0b
  40 #define SS_EXCEPTION          0x0c
  41 #define GPF_EXCEPTION         0x0d
  42 #define PF_EXCEPTION          0x0e
  43 #define MF_EXCEPTION          0x10
  44 #define AC_EXCEPTION          0x11
  45 #define MC_EXCEPTION          0x12
  46 #define XF_EXCEPTION          0x13
  47 #define SX_EXCEPTION          0x1e
  48
  49
  50 typedef enum {INVALID_INTR, EXTERNAL_IRQ, NMI, EXCEPTION, SOFTWARE_INTR, VIRTUAL_INTR} intr_type_t;
  51
  52 struct guest_info;
  53
  54 /* We need a way to allow the APIC/PIC to decide when they are supposed to receive interrupts...
  55  * Maybe a notification call when they have been turned on, to deliver irqs to them...
  56  * We can rehook the guest raise_irq op, to the appropriate controller
  57  */
  58
  59
  60 struct vm_intr {
  61
  62   /* We need to rework the exception state, to handle stacking */
  63   uint_t excp_pending;
  64   uint_t excp_num;
  65   uint_t excp_error_code_valid : 1;
  66   uint_t excp_error_code;
  67
  68   struct intr_ctrl_ops * controller;
  69   void * controller_state;
  70
  71   /* some way to get the [A]PIC intr */
  72
  73 };
  74
  75
  76
  77 void init_interrupt_state(struct guest_info * info);
  78
  79
  80 int v3_raise_irq(struct guest_info * info, int irq);
  81
  82 /*Zheng 07/30/2008*/
  83 int v3_lower_irq(struct guest_info * info, int irq);
  84
  85
  86 /*Zheng 07/30/2008*/
  87
  88 struct intr_ctrl_ops {
  89   int (*intr_pending)(void * private_data);
  90   int (*get_intr_number)(void * private_data);
  91   int (*raise_intr)(void * private_data, int irq);
  92   int (*lower_intr)(void * private_data, int irq);
  93   int (*begin_irq)(void * private_data, int irq);
  94 };
  95
  96
  97
  98
  99 void set_intr_controller(struct guest_info * info, struct intr_ctrl_ops * ops, void * state);
 100
 101 int v3_raise_exception(struct guest_info * info, uint_t excp);
 102 int v3_raise_exception_with_error(struct guest_info * info, uint_t excp, uint_t error_code);
 103
 104 int intr_pending(struct guest_info * info);
 105 uint_t get_intr_number(struct guest_info * info);
 106 intr_type_t get_intr_type(struct guest_info * info);
 107
 108 int injecting_intr(struct guest_info * info, uint_t intr_num, intr_type_t type);
 109
 110 /*
 111 int start_irq(struct vm_intr * intr);
 112 int end_irq(struct vm_intr * intr, int irq);
 113 */
 114
 115 #endif // !__V3VEE__
 116
 117
 118
 119
 120
 121
 122
 123
 124 struct vmm_intr_state;
 125
 126 int v3_hook_irq(uint_t irq,
 127                 void (*handler)(struct vmm_intr_state *state),
 128                 void  *opaque);
 129
 130 int v3_hook_irq_for_guest_injection(struct guest_info *info, int irq);
 131
 132
 133 #endif