Use ARM::DMB to get the opcode