_MAXNCPU
struct cpu_info *cpus[_MAXNCPU+1]; /* we only support 4 CPUs. */
#define IENAB_SYS ((_MAXNBPG * _MAXNCPU) + 0xc)
#define COUNTERREG_VA ( TIMERREG_VA + _MAXNBPG*_MAXNCPU) /* [4m] */
#define SI_INTR_VA ( PI_INTR_VA + _MAXNBPG*_MAXNCPU) /* [4m] */