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

#ifndef __ENTER_KERNEL030_H__
#define __ENTER_KERNEL030_H__

extern void enter_kernel030(unsigned long addr, unsigned long size, unsigned long dest, unsigned long entry);
extern char end_enter_kernel030;

#endif