libffi in GCC 4.2 needs cachectl.h to do its cache flushing. But we don't currently export it. I believe this patch should do the trick.
Signed-off-by: Matthew Wilcox Signed-off-by: Geert Uytterhoeven Signed-off-by: Linus Torvalds
include include/asm-generic/Kbuild.asm header-y += cachectl.h