[PATCH] x86-64: Fix interrupt race in idle callback (3rd try)

[linux-2.6] / arch / arm / mm / fault.h

void do_bad_area(unsigned long addr, unsigned int fsr, struct pt_regs *regs);

unsigned long search_exception_table(unsigned long addr);