1protocol "MOESI_CMP_token";
2include "RubySlicc_interfaces.slicc";
3include "MOESI_CMP_token-msg.sm";
4include "MOESI_CMP_token-L1cache.sm";
5include "MOESI_CMP_token-L2cache.sm";
6include "MOESI_CMP_token-dir.sm";
7include "MOESI_CMP_token-dma.sm";
8