1da177e4c3f4
1 2
//FIXME - nicked from arm32 - check it is correct... #include <asm-generic/local.h>