X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_intr.h;h=6008a662153a9f128ee4c1725bb1b6180bc76c10;hb=9b4bfeefac09294a6f0ae12dbadf102eb547f5ec;hp=975180724c26544e1a87513fc6c93d8696f411b3;hpb=1cf6b8a334fd683681665c177d33ad6c452ad366;p=palacios.git diff --git a/palacios/include/palacios/vmm_intr.h b/palacios/include/palacios/vmm_intr.h index 9751807..6008a66 100644 --- a/palacios/include/palacios/vmm_intr.h +++ b/palacios/include/palacios/vmm_intr.h @@ -1,6 +1,133 @@ -#ifndef __VMM_INTR_H -#define __VMM_INTR_H +/* + * This file is part of the Palacios Virtual Machine Monitor developed + * by the V3VEE Project with funding from the United States National + * Science Foundation and the Department of Energy. + * + * The V3VEE Project is a joint project between Northwestern University + * and the University of New Mexico. You can find out more at + * http://www.v3vee.org + * + * Copyright (c) 2008, Jack Lange + * Copyright (c) 2008, The V3VEE Project + * All rights reserved. + * + * Author: Jack Lange + * + * This is free software. You are permitted to use, + * redistribute, and modify it as specified in the file "V3VEE_LICENSE". + */ +#ifndef __VMM_INTR_H_ +#define __VMM_INTR_H_ + + +#ifdef __V3VEE__ + +#include +#include + +#define DE_EXCEPTION 0x00 +#define DB_EXCEPTION 0x01 +#define NMI_EXCEPTION 0x02 +#define BP_EXCEPTION 0x03 +#define OF_EXCEPTION 0x04 +#define BR_EXCEPTION 0x05 +#define UD_EXCEPTION 0x06 +#define NM_EXCEPTION 0x07 +#define DF_EXCEPTION 0x08 +#define TS_EXCEPTION 0x0a +#define NP_EXCEPTION 0x0b +#define SS_EXCEPTION 0x0c +#define GPF_EXCEPTION 0x0d +#define PF_EXCEPTION 0x0e +#define MF_EXCEPTION 0x10 +#define AC_EXCEPTION 0x11 +#define MC_EXCEPTION 0x12 +#define XF_EXCEPTION 0x13 +#define SX_EXCEPTION 0x1e + + +typedef enum {INVALID_INTR, EXTERNAL_IRQ, NMI, EXCEPTION, SOFTWARE_INTR, VIRTUAL_INTR} intr_type_t; + +struct guest_info; +struct v3_interrupt; + + + +struct v3_irq_hook { + int (*handler)(struct guest_info * info, struct v3_interrupt * intr, void * priv_data); + void * priv_data; +}; + + + + + +struct v3_intr_state { + + /* We need to rework the exception state, to handle stacking */ + uint_t excp_pending; + uint_t excp_num; + uint_t excp_error_code_valid : 1; + uint_t excp_error_code; + + struct list_head controller_list; + + + /* some way to get the [A]PIC intr */ + struct v3_irq_hook * hooks[256]; + +}; + + + +void v3_init_interrupt_state(struct guest_info * info); + + +int v3_raise_irq(struct guest_info * info, int irq); +int v3_lower_irq(struct guest_info * info, int irq); + + + +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 (*lower_intr)(void * private_data, int irq); + int (*begin_irq)(void * private_data, int irq); +}; + + + + +void v3_register_intr_controller(struct guest_info * info, struct intr_ctrl_ops * ops, void * state); + +int v3_raise_exception(struct guest_info * info, uint_t excp); +int v3_raise_exception_with_error(struct guest_info * info, uint_t excp, uint_t error_code); + +int v3_intr_pending(struct guest_info * info); +uint_t v3_get_intr_number(struct guest_info * info); +intr_type_t v3_get_intr_type(struct guest_info * info); + +int v3_injecting_intr(struct guest_info * info, uint_t intr_num, intr_type_t type); + +/* + int start_irq(struct vm_intr * intr); + int end_irq(struct vm_intr * intr, int irq); +*/ + + + +int v3_hook_irq(struct guest_info * info, + uint_t irq, + int (*handler)(struct guest_info * info, struct v3_interrupt * intr, void * priv_data), + void * priv_data); + +int v3_hook_passthrough_irq(struct guest_info *info, uint_t irq); + + + +#endif // !__V3VEE__