cpu_last_tlb_thread_sibling
for (i = cpu; i <= cpu_last_tlb_thread_sibling(cpu);
i <= cpu_last_tlb_thread_sibling(pcpu);