| /* Devices used by sparc32 system. */ |
| void sparc_iommu_memory_rw(void *opaque, target_phys_addr_t addr, |
| uint8_t *buf, int len, int is_write); |
| static inline void sparc_iommu_memory_read(void *opaque, |
| sparc_iommu_memory_rw(opaque, addr, buf, len, 0); |
| static inline void sparc_iommu_memory_write(void *opaque, |
| sparc_iommu_memory_rw(opaque, addr, buf, len, 1); |
| void slavio_pic_info(Monitor *mon, DeviceState *dev); |
| void slavio_irq_info(Monitor *mon, DeviceState *dev); |
| void sun4c_pic_info(Monitor *mon, void *opaque); |
| void sun4c_irq_info(Monitor *mon, void *opaque); |
| void sun4m_pic_info(Monitor *mon); |
| void sun4m_irq_info(Monitor *mon); |