aarch64_insn_set
void *aarch64_insn_set(void *dst, u32 insn, size_t len);
if (!aarch64_insn_set(dst, AARCH64_BREAK_FAULT, len))