1 2 3 4 5
protocol "MSI"; include "RubySlicc_interfaces.slicc"; include "MSI-msg.sm"; include "MSI-cache.sm"; include "MSI-dir.sm";