#ifndef _ARM_KERNEL_PATCH_H #define _ARM_KERNEL_PATCH_H void patch_text(void *addr, unsigned int insn); void __patch_text(void *addr, unsigned int insn); #endif
