2012-03-28 18:30:03 +01:00
|
|
|
/* 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>
|
2008-09-04 18:53:58 +09:00
|
|
|
void free_initmem(void);
|
