addrh0             76 arch/arm/kernel/patch.c 		u16 *addrh0 = waddr;
addrh0             83 arch/arm/kernel/patch.c 		*addrh0 = __opcode_to_mem_thumb16(first);