2012-03-28 17:30:02 +00:00
|
|
|
/* FILE TO BE DELETED. DO NOT ADD STUFF HERE! */
|
2006-10-31 03:45:07 +00:00
|
|
|
#include <asm/barrier.h>
|
2007-10-01 03:15:00 +00:00
|
|
|
#include <asm/cmpxchg.h>
|
2012-03-28 17:30:02 +00:00
|
|
|
#include <asm/exec.h>
|
|
|
|
#include <asm/switch_to.h>
|