Searched refs:scoreboard (Results 1 – 1 of 1) sorted by relevance
1099 uint32_t *scoreboard, smp_tlb_gen; in invlop_handler() local1101 scoreboard = invl_scoreboard_getcpu(PCPU_GET(cpuid)); in invlop_handler()1105 if (atomic_load_int(&scoreboard[initiator_cpu_id]) == 0) in invlop_handler()1141 atomic_store_int(&scoreboard[initiator_cpu_id], smp_tlb_gen); in invlop_handler()