00001 /* 00002 ** picvar.h for lseos in lseos-srv/hw/pic 00003 ** 00004 ** Copyright(c)2004 Vianney Rancurel 00005 ** Login <vianney@epita.fr> 00006 ** 00007 ** Started on Fri Feb 6 11:31:38 2004 Vianney Rancurel 00008 ** Last update Mon Dec 6 12:22:32 2004 Vianney Rancurel 00009 */ 00010 #ifndef __PICVAR_H__ 00011 #define __PICVAR_H__ 1 00012 #include <libc.h> 00013 00014 typedef u_int16_t pic_tag_t; 00015 00016 typedef struct s_pic 00017 { 00018 pid_t holder; 00019 /* 00020 * processes allowed to eoi the pic 00021 */ 00022 #define PICMAXALLOWED 10 00023 pid_t allowed[PICMAXALLOWED]; 00024 u_int32_t avail:1; 00025 } t_pic; 00026 00027 typedef struct s_pic_stat 00028 { 00029 u_int32_t dummy; 00030 } t_pic_stat; 00031 00032 typedef struct s_pic_info 00033 { 00034 t_pic_stat stat; 00035 __cpu_simple_lock_t lock; 00036 } t_pic_info; 00037 00038 #endif