ppc64: Don't set Kp bit on SLB
[openbios/afaerber.git] / arch / x86 / openbios.h
bloba130822765be532ad1b60fb6f355ef04e8a6336a
1 /*
2 * Creation Date: <2004/01/15 16:14:05 samuel>
3 * Time-stamp: <2004/01/15 16:14:05 samuel>
5 * <openbios.h>
9 * Copyright (C) 2004 Samuel Rydh (samuel@ibrium.se)
11 * This program is free software; you can redistribute it and/or
12 * modify it under the terms of the GNU General Public License
13 * version 2
17 #ifndef _H_OPENBIOS
18 #define _H_OPENBIOS
20 int openbios(void);
22 /* entry.S */
23 void init_exceptions(void);
25 /* console.c */
26 extern void cls(void);
27 #ifdef CONFIG_DEBUG_CONSOLE
28 extern int uart_init(int port, unsigned long speed);
29 extern void video_init(void);
30 #endif
32 #endif /* _H_OPENBIOS */