64,72d63
< #ifdef MACHINETYPE_DMA
< #define MACHINETYPE_DMA_ENUM MachineType_DMA
< #else
< #define MACHINETYPE_DMA_ENUM MachineType_NUM
< #endif
<
< // used to determine the number of acks to wait for
< int getNumberOfLastLevelCaches();
<
93c84
< MachineID dma = {MACHINETYPE_DMA_ENUM, 0};
---
> MachineID dma = {MachineType_DMA, 0};
96a88,98
> inline
> NetDest broadcast(MachineType type)
> {
> NetDest dest;
> for (int i=0; i<MachineType_base_count(type); i++) {
> MachineID mach = {type, i};
> dest.add(mach);
> }
> return dest;
> }
>