134,137d133
<
< if (fault == NoFault) {
< %(op_wb)s;
< }
396,400d391
<
< // Need to write back any potential address register update
< if (fault == NoFault) {
< %(op_wb)s;
< }
434,438d424
<
< // Need to write back any potential address register update
< if (fault == NoFault) {
< %(op_wb)s;
< }
476,480d461
<
< // Need to write back any potential address register update
< if (fault == NoFault) {
< %(op_wb)s;
< }