| protocol "GPU_VIPER_Region"; | |
| include "RubySlicc_interfaces.slicc"; | |
| include "MOESI_AMD_Base-msg.sm"; | |
| include "MOESI_AMD_Base-Region-CorePair.sm"; | |
| include "MOESI_AMD_Base-L3cache.sm"; | |
| include "MOESI_AMD_Base-Region-dir.sm"; | |
| include "GPU_VIPER_Region-TCC.sm"; | |
| include "GPU_VIPER-TCP.sm"; | |
| include "GPU_VIPER-SQC.sm"; | |
| include "MOESI_AMD_Base-RegionDir.sm"; | |
| include "MOESI_AMD_Base-RegionBuffer.sm"; |