Skip to content

check_insn_attributes() should check no_sync_with attributes