dbg-crsh.h Source File

00001 /*
00002  *  File:       dbg-crsh.h
00003  *  Summary:    Crash handler.
00004  *  Written by: Linley Henzell and Jesse Jones
00005  */
00006 
00007 #ifndef DBGCRSH_H
00008 #define DBGCRSH_H
00009 
00010 void do_crash_dump();
00011 
00012 #endif