3072 /* mask of CPUs which have this pmap's ptp mapped */