Lines Matching defs:generation
554 uint32_t generation;
586 generation = ++smp_tlb_generation;
598 while (*p_cpudone != generation)
654 uint32_t generation;
665 * Reading the generation here allows greater parallelism
668 generation = smp_tlb_generation;
671 PCPU_SET(smp_tlb_done, generation);
677 uint32_t generation;
687 generation = smp_tlb_generation; /* Overlap with serialization */
690 PCPU_SET(smp_tlb_done, generation);
697 uint32_t generation;
709 generation = smp_tlb_generation; /* Overlap with serialization */
717 PCPU_SET(smp_tlb_done, generation);
723 uint32_t generation;
731 * Reading the generation here allows greater parallelism
737 generation = smp_tlb_generation;
739 PCPU_SET(smp_tlb_done, generation);