63a64,72
> #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();
>
84c93
< MachineID dma = {MachineType_DMA, 0};
---
> MachineID dma = {MACHINETYPE_DMA_ENUM, 0};