alpha_ldwu
return alpha_ldwu(bwx_int2_ports + port);
return alpha_ldwu(h->virt2 + offset);
return (alpha_ldwu((u_int16_t *)addr));