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