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