ALPHA_PGBYTES
if (hwrpb->rpb_page_size != ALPHA_PGBYTES)
ALPHA_PGBYTES);
CTASSERT(PMAP_SIZEOF(ALPHA_MAXPROCS) < ALPHA_PGBYTES);