Lines Matching refs:generation
448 uint32_t generation;
457 generation = smp_tlb_generation;
463 PCPU_SET(smp_tlb_done, generation);
470 uint32_t generation;
479 generation = smp_tlb_generation;
496 PCPU_SET(smp_tlb_done, generation);
503 uint32_t generation, pcid;
512 generation = smp_tlb_generation; /* Overlap with serialization */
534 PCPU_SET(smp_tlb_done, generation);
541 uint32_t generation;
550 generation = smp_tlb_generation; /* Overlap with serialization */
559 PCPU_SET(smp_tlb_done, generation);
566 uint32_t generation;
576 generation = smp_tlb_generation; /* Overlap with serialization */
585 PCPU_SET(smp_tlb_done, generation);
593 uint32_t generation;
604 generation = smp_tlb_generation; /* Overlap with serialization */
619 PCPU_SET(smp_tlb_done, generation);
627 uint32_t generation;
639 generation = smp_tlb_generation; /* Overlap with serialization */
651 PCPU_SET(smp_tlb_done, generation);