addrh1             77 arch/arm/kernel/patch.c 		u16 *addrh1 = waddr + 2;
addrh1             81 arch/arm/kernel/patch.c 			addrh1 = patch_map(addr + 2, FIX_TEXT_POKE1, NULL);
addrh1             84 arch/arm/kernel/patch.c 		*addrh1 = __opcode_to_mem_thumb16(second);
addrh1             86 arch/arm/kernel/patch.c 		if (twopage && addrh1 != addr + 2) {
addrh1             87 arch/arm/kernel/patch.c 			flush_kernel_vmap_range(addrh1, 2);