Fiasco: space_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef space_i_h
00004 #define space_i_h
00005 
00006 #include "config.h"
00007 #include "l4_types.h"
00008 #include "mapped_alloc.h"
00009 #include "panic.h"
00010 
00011 #include <cassert>
00012 #include "cpu.h"
00013 
00014 #include <cstring>
00015 #include <cstdio>
00016 #include "cpu.h"
00017 #include "kdb_ke.h"
00018 #include "std_macros.h"
00019 #include "kmem.h"
00020 #include "cpu_lock.h"
00021 #include "lock_guard.h"
00022 
00023 #include <cstring>
00024 #include "kmem.h"
00025 
00026 //
00027 // IMPLEMENTATION of inline functions follows
00028 //
00029 
00030 
00031 
00032 
00033 inline void
00034 Space::free_ldt_memory()
00035 {}
00036 
00037 #endif // space_i_h