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