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

#ifndef __ENTER_KERNEL040_H__
#define __ENTER_KERNEL040_H__

extern void enter_kernel040(unsigned long addr, unsigned long size, unsigned long dest, unsigned long entry);
extern char end_enter_kernel040;

#endif