void
alpha_pci_io_bwx_outw(bus_addr_t ioaddr, uint16_t val)
{
struct alpha_bus_window *abw = alpha_pci_io_findwindow(ioaddr);
/* LINTED */
uint16_t *port = (uint16_t *) ((char *)abw->abw_addr +
(ioaddr - abw->abw_abst.abst_bus_start));
alpha_stw(port, val);
alpha_mb();
}
static inline void
__C(CHIP,_mem_write_2)(
void *v,
bus_space_handle_t memh,
bus_size_t off,
uint16_t val)
{
bus_addr_t addr;
addr = memh + off;
#ifdef DIAGNOSTIC
if (addr & 1)
panic(__S(__C(CHIP,_mem_write_2)) ": addr 0x%lx not aligned",
addr);
#endif
alpha_stw((uint16_t *)addr, val);
alpha_mb();
}