/* FILE TO BE DELETED. DO NOT ADD STUFF HERE! */ #include <asm/barrier.h> #include <asm/bl_bit.h> #include <asm/cache_insns.h> #include <asm/cmpxchg.h> #include <asm/exec.h> #include <asm/switch_to.h> #include <asm/traps.h> void free_initmem(void);
