cpu_first_tlb_thread_sibling
cpu = cpu_first_tlb_thread_sibling(cpu);
if (cpu_first_tlb_thread_sibling(prev_cpu) !=
cpu_first_tlb_thread_sibling(pcpu))
for (i = cpu_first_tlb_thread_sibling(pcpu);