00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef virq_i_h 00004 #define virq_i_h 00005 #include "thread_state.h" 00006 #include "static_init.h" 00007 00008 #endif // virq_i_h