| protocol "MESI_CMP_directory"; | |
| include "RubySlicc_interfaces.slicc"; | |
| include "MESI_CMP_directory-msg.sm"; | |
| include "MESI_CMP_directory-L1cache.sm"; | |
| include "MESI_CMP_directory-L2cache.sm"; | |
| include "MESI_CMP_directory-dir.sm"; | |
| include "MESI_CMP_directory-dma.sm"; |