239 static inline void tb_set_jmp_target1(uintptr_t jmp_addr, uintptr_t addr)  in tb_set_jmp_target1()  argument
242     *(uint32_t *)jmp_addr = addr - (jmp_addr + 4);  in tb_set_jmp_target1()
246 void ppc_tb_set_jmp_target(unsigned long jmp_addr, unsigned long addr);
249 static inline void tb_set_jmp_target1(uintptr_t jmp_addr, uintptr_t addr)  in tb_set_jmp_target1()  argument
252     *(uint32_t *)jmp_addr = addr - (jmp_addr + 4);  in tb_set_jmp_target1()
256 void aarch64_tb_set_jmp_target(uintptr_t jmp_addr, uintptr_t addr);
259 static inline void tb_set_jmp_target1(uintptr_t jmp_addr, uintptr_t addr)  in tb_set_jmp_target1()  argument
268     *(uint32_t *)jmp_addr =  in tb_set_jmp_target1()
269         (*(uint32_t *)jmp_addr & ~0xffffff)  in tb_set_jmp_target1()
270         | (((addr - (jmp_addr + 8)) >> 2) & 0xffffff);  in tb_set_jmp_target1()
273     __builtin___clear_cache((char *) jmp_addr, (char *) jmp_addr + 4);  in tb_set_jmp_target1()
276     _beg = jmp_addr;  in tb_set_jmp_target1()
277     _end = jmp_addr + 4;  in tb_set_jmp_target1()
283 void tb_set_jmp_target1(uintptr_t jmp_addr, uintptr_t addr);