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";