alpha_stb
alpha_stb(bwx_int1_ports + port, val);
alpha_stb(h->virt1 + offset, val);
alpha_stb((u_int8_t *)addr, val);