ppc64: Don't set Kp bit on SLB
[openbios.git] / include / kernel / kernel.h
blobc887e24b9849e73fb5d0b2cd99b7e7f9515d8bbe
1 /*
2 * Creation Date: <2003/12/19 00:20:11 samuel>
3 * Time-stamp: <2004/01/07 19:19:14 samuel>
5 * <kernel.h>
9 * Copyright (C) 2003, 2004 Samuel Rydh (samuel@ibrium.se)
10 * Stefan Reinauer (stepan@openbios.org)
12 * This program is free software; you can redistribute it and/or
13 * modify it under the terms of the GNU General Public License
14 * version 2
18 #ifndef _H_KERNEL
19 #define _H_KERNEL
21 #include "kernel/stack.h"
22 #include "asm/io.h"
24 /* Interrupt status */
25 #define FORTH_INTSTAT_CLR 0x0
26 #define FORTH_INTSTAT_STOP 0x1
27 #define FORTH_INTSTAT_DBG 0x2
29 extern volatile int interruptforth;
30 extern int enterforth( xt_t xt );
31 extern void panic(const char *error) __attribute__ ((noreturn));
33 extern xt_t findword(const char *s1);
34 extern void modules_init( void );
35 extern void init_trampoline(ucell *t);
36 extern void forth_init(void);
38 /* arch kernel hooks */
39 extern void exception(cell no);
41 #ifdef FCOMPILER
42 extern void include_file( const char *str );
43 extern void encode_file( const char *str );
44 extern int get_inputbyte( void );
45 extern void put_outputbyte( int c );
46 #endif
48 #ifndef BOOTSTRAP
49 #undef putchar
50 #undef getchar
52 extern int putchar( int ch );
53 extern int getchar( void );
54 #endif
56 extern int availchar( void );
58 #endif /* _H_KERNEL */