/*---------------------------------------------------------------------------+
 |  kernel.h                                                                 |
 |                                                                           |
 |   Replacement for the Linux kernel.h header file.                         |
 |                                                                           |
 | Copyright (C) 1994    W. Metzenthen, 22 Parker St, Ormond, Vic 3163,      |
 |                       Australia.  E-mail apm233m@vaxc.cc.monash.edu.au    |
 |                                                                           |
 +---------------------------------------------------------------------------*/

#ifndef _FPU_EMU_KERNEL_H
#define _FPU_EMU_KERNEL_H

#include <linux/signal.h>

/* DJGPP doesn't do a verify_area(). */
#define VERIFY_READ 0
#define VERIFY_WRITE 1
#define FPU_verify_area(x,y,z)
#define FPU_code_verify_area(x)

extern void math_error(void);
volatile void panic(const char * str);

extern int printk(const char * fmt, ...);

#endif