tcommit.xml */
| 27648 | |
| 27649 | /* tcommit.xml */ |
| 27650 | int TCOMMIT(context *ctx, Instruction *instr) |
| 27651 | { |
| 27652 | int rc = DECODE_STATUS_UNMATCHED; |
| 27653 | /* class iclass_system */ |
| 27654 | /* 1101010100|L=0|op0=00|op1=011|CRn=0011|CRm=0000|op2=011|Rt=11111 */ |
| 27655 | if((INSWORD & 0xFFFFFFFF)==0xD503307F) { |
| 27656 | decode_fields32(ENC_TCOMMIT_ONLY_BARRIERS, ctx, instr); |
| 27657 | if(!HaveTME()) { |
| 27658 | UNDEFINED; |
| 27659 | } |
| 27660 | OK(ENC_TCOMMIT_ONLY_BARRIERS); |
| 27661 | } |
| 27662 | return rc; |
| 27663 | } |
| 27664 | |
| 27665 | /* tlbi_sys.xml */ |
| 27666 | int TLBI_SYS(context *ctx, Instruction *instr) |
no test coverage detected