00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef map_util_i_h 00004 #define map_util_i_h 00005 00006 #include "space.h" 00007 00008 #include <cstdio> 00009 #include <cassert> 00010 #include "cpu.h" 00011 #include "globals.h" 00012 #include "kdb_ke.h" 00013 #include "mem_unit.h" 00014 #include "paging.h" 00015 #include "space.h" 00016 #include "warn.h" 00017 00018 #endif // map_util_i_h