Searched refs:smp_tlb_generation (Results 1 – 2 of 2) sorted by relevance
483 volatile uint32_t smp_tlb_generation; variable536 generation = ++smp_tlb_generation; in smp_targeted_tlb_shootdown()619 generation = smp_tlb_generation; in invltlb_handler()637 generation = smp_tlb_generation; /* Overlap with serialization */ in invlpg_handler()658 generation = smp_tlb_generation; /* Overlap with serialization */ in invlrng_handler()685 generation = smp_tlb_generation; in invlcache_handler()
41 extern volatile uint32_t smp_tlb_generation;