> static inline void flush_tlb_kernel_range(unsigned long start, > unsigned long end) > { > - _tlbia(); > + _tlbil_all(); > } I love making you respin your patches so what about the one above becomes tlbil_pid(0) ? :-) Cheers, Ben.