aarch64_insn_gen_dsb
u32 aarch64_insn_gen_dsb(enum aarch64_insn_mb_type type);
emit(aarch64_insn_gen_dsb(AARCH64_INSN_MB_ISH), ctx);