Fiasco: context_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef context_i_h
00004 #define context_i_h
00005 
00006 #include <cassert>
00007 #include "fpu.h"
00008 #include "globals.h"            // current()
00009 #include "lock_guard.h"
00010 #include "logdefs.h"
00011 #include "processor.h"
00012 #include "space.h"
00013 #include "thread_state.h"
00014 #include "timer.h"
00015 #include "timeout.h"
00016 #include <cstdio>
00017 #include "kmem.h"
00018 #include "space.h"
00019 
00020 #endif // context_i_h