44a45
> #include "mem/protocol/MachineType.hh"
70,72d70
< // used to determine the number of acks to wait for
< int getNumberOfLastLevelCaches();
<
154a153,155
> extern inline int machineCount(MachineType machType) {
> return MachineType_base_count(machType);
> }