Fiasco: jdb_dump.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef jdb_dump_h
00004 #define jdb_dump_h
00005 
00006 #include "types.h"
00007 #include "l4_types.h"
00008 
00009 //
00010 // INTERFACE definition follows 
00011 //
00012 
00013 
00014 int jdb_dump_addr_task(Address addr, Task_num task, int level);
00015 
00016 #endif // jdb_dump_h