ALPHA_MAXPROCS
for (i = 0; i < ALPHA_MAXPROCS; i++) {
struct cpu_info *cpu_info[ALPHA_MAXPROCS];
if (addr < 0 || addr >= ALPHA_MAXPROCS) {
CTASSERT(PMAP_SIZEOF(ALPHA_MAXPROCS) < ALPHA_PGBYTES);