vax_trunc_page
pte = (u_int *)kvtopte(vax_trunc_page(pte));
int *pve = (int *)vax_trunc_page(pte);
{ int i, *ptr = (int *)vax_trunc_page(pte);
va = vax_trunc_page(va);
ioaccess(tmp, vax_trunc_page(GPXADDR + GPX_ADDER_OFFSET), 1);
ioaccess(tmp, vax_trunc_page(GPXADDR + GPX_READBACK_OFFSET), 1);
vax_trunc_page(GPXADDR + GPX_READBACK_OFFSET), 1);
ioaccess(virtual_avail, vax_trunc_page(GPXADDR + GPX_VDAC_OFFSET), 1);