EMILE/second/enter_kernelnoMMU.h

/*
 *
 * (c) 2005 Laurent Vivier <Laurent@lvivier.info>
 *
 */

#ifndef __ENTER_KERNELNOMMU_H__
#define __ENTER_KERNELNOMMU_H__

extern void noMMU_disable_cache(void);

extern void enter_kernelnoMMU(unsigned long addr, unsigned long size, unsigned long dest, unsigned long entry);
extern char end_enter_kernelnoMMU;

#endif
declare enter_kernel, end_kernel 2005-10-20 21:13:53 +00:00			`/*`
			`*`
Change my email address to Laurent@lvivier.info 2006-09-15 14:55:39 +00:00			`* (c) 2005 Laurent Vivier <Laurent@lvivier.info>`
declare enter_kernel, end_kernel 2005-10-20 21:13:53 +00:00			`*`
			`*/`

			`#ifndef __ENTER_KERNELNOMMU_H__`
			`#define __ENTER_KERNELNOMMU_H__`

			`extern void noMMU_disable_cache(void);`

			`extern void enter_kernelnoMMU(unsigned long addr, unsigned long size, unsigned long dest, unsigned long entry);`
			`extern char end_enter_kernelnoMMU;`

			`#endif`