CPI_NTHR_SHR_CACHE
CPI_NTHR_SHR_CACHE(cp) + 1;
cache->xc_apic_shift = highbit(CPI_NTHR_SHR_CACHE(cp));