Fiasco: dirq_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef dirq_i_h
00004 #define dirq_i_h
00005 #include "entry_frame.h"
00006 #include "globals.h"
00007 #include "initcalls.h"
00008 #include "kdb_ke.h"
00009 #include "pic.h"
00010 #include "std_macros.h"
00011 #include "receiver.h"
00012 #include "thread_lock.h"
00013 #include "thread_state.h"
00014 
00015 #include <cassert>
00016 
00017 #include "atomic.h"
00018 #include "cpu_lock.h"
00019 #include "globalconfig.h"
00020 #include "initcalls.h"
00021 #include "logdefs.h"
00022 #include "static_init.h"
00023 #include "std_macros.h"
00024 
00025 #endif // dirq_i_h