| David Howells | c40d04d | 2012-03-28 18:30:02 +0100 | [diff] [blame^] | 1 | /* FILE TO BE DELETED. DO NOT ADD STUFF HERE! */ |
| 2 | #include <asm/barrier.h> | ||||
| 3 | #include <asm/cmpxchg.h> | ||||
| 4 | #include <asm/exec.h> | ||||
| 5 | #include <asm/special_insns.h> | ||||
| 6 | #include <asm/switch_to.h> | ||||
| 7 | extern void free_initmem(void); | ||||