0000nnnn10010011
op1 ← SignExtend32(Rn);
IF (AddressUnavailable(op1))
THROW WADDERR, op1;
IF (MMU() AND DataAccessMiss(op1))
THROW WTLBMISS, op1;
IF (MMU() AND WriteProhibited(op1))
THROW WRITEPROT, op1;
IF (MMU() AND NOT DirtyBit(op1))
THROW FIRSTWRITE, op1;
OCBI(op1);