/* devsupp.h: */

extern char g_device[80];
extern short g_unit;
extern int g_fastmem;
extern short g_map_to_lowercase;
extern short g_use_rock_ridge;
extern int g_trackdisk;
extern int g_std_buffers;
extern int g_file_buffers;
extern CDROM *g_cd;

#ifndef NDEBUG
extern PORT *Dbport;
extern PORT *Dback;
extern short DBDisable;
extern MSG DummyMsg;
#endif

int Get_Startup (LONG p_startup);

#ifndef NDEBUG
void dbinit (void);
void dbuninit (void);
void dbprintf (char *, ...);
#endif