Merge branch 'drbd-8.4_ed6' into for-3.8-drivers-drbd-8.4_ed6
[cascardo/linux.git] / arch / arm / kernel / patch.h
1 #ifndef _ARM_KERNEL_PATCH_H
2 #define _ARM_KERNEL_PATCH_H
3
4 void patch_text(void *addr, unsigned int insn);
5 void __patch_text(void *addr, unsigned int insn);
6
7 #endif