526,529d525
< if enum.ident == "DMA":
< code('''
< MachineID map_Address_to_DMA(const Addr &addr);
< ''')
777,786d772
< if enum.ident == "DMA":
< code('''
< MachineID
< map_Address_to_DMA(const Addr &addr)
< {
< MachineID dma = {MachineType_DMA, 0};
< return dma;
< }
< ''')
<