Searched refs:addrh1 (Results 1 – 1 of 1) sorted by relevance
76 u16 *addrh1 = waddr + 2; in __patch_text_real() local80 addrh1 = patch_map(addr + 2, FIX_TEXT_POKE1, NULL); in __patch_text_real()83 *addrh1 = __opcode_to_mem_thumb16(second); in __patch_text_real()85 if (twopage && addrh1 != addr + 2) { in __patch_text_real()86 flush_kernel_vmap_range(addrh1, 2); in __patch_text_real()