DEC_MAX_CPU_INTS
int_ptr cpu_mask_nr_tbl[DEC_MAX_CPU_INTS][2] = {
extern int_ptr cpu_mask_nr_tbl[DEC_MAX_CPU_INTS][2];