Lines Matching refs:generation
1393 uint32_t generation;
1400 * Reading the generation here allows greater parallelism
1406 generation = smp_tlb_generation;
1408 PCPU_SET(smp_tlb_done, generation);
1478 uint32_t generation;
1499 generation = ++smp_tlb_generation;
1518 while (*p_cpudone != generation)
1579 uint32_t generation;
1589 * Reading the generation here allows greater parallelism
1592 generation = smp_tlb_generation;
1597 PCPU_SET(smp_tlb_done, generation);
1603 uint32_t generation;
1612 generation = smp_tlb_generation; /* Overlap with serialization */
1614 PCPU_SET(smp_tlb_done, generation);
1621 uint32_t generation;
1632 generation = smp_tlb_generation; /* Overlap with serialization */
1638 PCPU_SET(smp_tlb_done, generation);