114184Sgabeblack@google.comprotocol "MOESI_CMP_token"; 214184Sgabeblack@google.cominclude "RubySlicc_interfaces.slicc"; 314184Sgabeblack@google.cominclude "MOESI_CMP_token-msg.sm"; 414184Sgabeblack@google.cominclude "MOESI_CMP_token-L1cache.sm"; 514184Sgabeblack@google.cominclude "MOESI_CMP_token-L2cache.sm"; 614184Sgabeblack@google.cominclude "MOESI_CMP_token-dir.sm"; 714184Sgabeblack@google.cominclude "MOESI_CMP_token-dma.sm"; 8