Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

jdb_tcb.h

Go to the documentation of this file.
00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef jdb_tcb_h
00004 #define jdb_tcb_h
00005 
00006 #include "l4_types.h"
00007 
00008 //
00009 // INTERFACE definition follows 
00010 //
00011 
00012 
00013 int jdb_show_tcb(L4_uid tid, int level);
00014 
00015 #endif // jdb_tcb_h

Generated on Mon Sep 26 14:20:11 2005 for Fiasco by  doxygen 1.4.2