void alpha_pci_io_bwx_outb(bus_addr_t ioaddr, uint8_t val) { struct alpha_bus_window *abw = alpha_pci_io_findwindow(ioaddr); uint8_t *port = (uint8_t *) ((char *)abw->abw_addr + (ioaddr - abw->abw_abst.abst_bus_start)); alpha_stb(port, val); alpha_mb(); }
static inline void __C(CHIP,_mem_write_1)( void *v, bus_space_handle_t memh, bus_size_t off, uint8_t val) { bus_addr_t addr; addr = memh + off; alpha_stb((uint8_t *)addr, val); alpha_mb(); }