patch_insn_write
int patch_insn_write(void *addr, u32 insn)
int patch_insn_write(void *addr, const void *insn, size_t len)