00001 #ifndef __LOADLINUX_H__ 00002 #define __LOADLINUX_H__ 00003 00004 #include "arch_types.h" 00005 00006 void loadlinux_setup_tags( uint32_t *src ); 00007 00008 #endif //__LOADLINUX_H__