#ifndef _DRIVERINT_H_0ef0623d_
#define _DRIVERINT_H_0ef0623d_

/* This file is in the public domain. */

#include "driver.h"

extern DRIVER *drivers;
extern DRIVER *drivermask[8192];
extern INTRQ *intrq_head[8];
extern INTRQ **intrq_tail[8];

#endif