ppc64: Don't set Kp bit on SLB
[openbios.git] / arch / ppc / kernel.h
blob20cda489e66bcb4c9f37475f1ff0e9a10835c73a
1 /*
2 * Creation Date: <2004/08/28 17:50:12 stepan>
3 * Time-stamp: <2004/08/28 17:50:12 stepan>
5 * <kernel.h>
7 * Copyright (C) 2004 Stefan Reinauer
9 * This program is free software; you can redistribute it and/or
10 * modify it under the terms of the GNU General Public License
11 * version 2
15 #ifndef __KERNEL_H__
16 #define __KERNEL_H__
18 /* misc.c */
19 extern void fatal_error( const char *str );
20 extern void exit( int status );
22 /* start.S */
23 extern void flush_icache_range( char *start, char *stop );
24 extern char of_rtas_start[], of_rtas_end[];
26 /* methods.c */
27 extern void node_methods_init( void );
29 /* main.c */
30 extern void boot( void );
32 /* init.c */
33 extern void entry( void );
34 extern void arch_of_init( void );
35 extern int get_bool_res( const char *str );
37 /* tree.c */
38 extern void devtree_init( void );
41 #endif /* __KERNEL_H__ */