transition(SS, {L1_GETS, L1_GET_INSTR}) {
ds_sendSharedDataToRequestor;
nn_addSharer;
- uu_profileMiss;
set_setMRU;
jj_popL1RequestQueue;
}
d_sendDataToRequestor;
// fw_sendFwdInvToSharers;
fwm_sendFwdInvToSharersMinusRequestor;
- uu_profileMiss;
set_setMRU;
jj_popL1RequestQueue;
}
transition(SS, L1_UPGRADE, SS_MB) {
fwm_sendFwdInvToSharersMinusRequestor;
ts_sendInvAckToUpgrader;
- uu_profileMiss;
set_setMRU;
jj_popL1RequestQueue;
}
transition(M, L1_GETX, MT_MB) {
d_sendDataToRequestor;
- uu_profileMiss;
set_setMRU;
jj_popL1RequestQueue;
}
transition(M, L1_GET_INSTR, SS) {
d_sendDataToRequestor;
nn_addSharer;
- uu_profileMiss;
set_setMRU;
jj_popL1RequestQueue;
}
transition(M, L1_GETS, MT_MB) {
dd_sendExclusiveDataToRequestor;
- uu_profileMiss;
set_setMRU;
jj_popL1RequestQueue;
}