__flush_tlb_slot — Flushes TLB slot slot.
slot
void __flush_tlb_slot (
)
unsigned long long slot
Address of TLB slot.