2005-10-20 22:02:25 +00:00
|
|
|
/*
|
|
|
|
|
*
|
2007-02-02 20:13:11 +00:00
|
|
|
* (c) 2005-2007 Laurent Vivier <Laurent@lvivier.info>
|
2005-10-20 22:02:25 +00:00
|
|
|
*
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#ifndef __ENTER_KERNEL_H__
|
|
|
|
|
#define __ENTER_KERNEL_H__
|
|
|
|
|
|
|
|
|
|
typedef void (*entry_t) (unsigned long , unsigned long , unsigned long, unsigned long );
|
|
|
|
|
typedef void (*disable_cache_t) (void);
|
|
|
|
|
|
|
|
|
|
#include "enter_kernelnoMMU.h"
|
|
|
|
|
#ifdef USE_MMU030
|
|
|
|
|
#include "enter_kernel030.h"
|
|
|
|
|
#include "MMU030.h"
|
|
|
|
|
#endif
|
|
|
|
|
#ifdef USE_MMU040
|
|
|
|
|
#include "enter_kernel040.h"
|
|
|
|
|
#include "MMU040.h"
|
|
|
|
|
#endif
|
|
|
|
|
#define PAGE_SHIFT 12
|
|
|
|
|
#define PAGE_SIZE (1UL << PAGE_SHIFT)
|
|
|
|
|
#define PAGE_MASK (~(PAGE_SIZE-1))
|
|
|
|
|
|
|
|
|
|
extern void enter_kernel_init(void);
|
|
|
|
|
extern unsigned long enter_kernel;
|
|
|
|
|
extern unsigned long end_enter_kernel;
|
|
|
|
|
extern disable_cache_t disable_cache;
|
|
|
|
|
|
|
|
|
|
#endif
|
