Home
last modified time | relevance | path

Searched refs:smp_tlb_gen (Results 1 – 2 of 2) sorted by relevance

/f-stack/freebsd/amd64/amd64/
H A Dmp_machdep.c696 generation = PCPU_GET(smp_tlb_gen); in smp_targeted_tlb_shootdown()
699 PCPU_SET(smp_tlb_gen, generation); in smp_targeted_tlb_shootdown()
1099 uint32_t *scoreboard, smp_tlb_gen; in invlop_handler() local
1123 smp_tlb_gen = initiator_pc->pc_smp_tlb_gen; in invlop_handler()
1141 atomic_store_int(&scoreboard[initiator_cpu_id], smp_tlb_gen); in invlop_handler()
H A Dmachdep.c1567 PCPU_SET(smp_tlb_gen, 1); in amd64_bsp_pcpu_init1()