alpha_stw
alpha_stw(bwx_int2_ports + port, val);
alpha_stw(h->virt2 + offset, val);
alpha_stw((u_int16_t *)addr, val);