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