arch/arm/kernel/patch.h - third_party/linux - Git at Google

 #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
	#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