eec511d75edd
2620c8366866
1
2
#include <asm-generic/tlbflush.h> #define flush_tlb_kernel_range(s, e) do { } while (0)