__flush_tlb_slot9
Flushes tlb slot slot.
Usage
void __flush_tlb_slot(unsigned long long slot);
Arguments
slot
Address of TLB slot.
Releases
4 releases since Debian 6.0 (Squeeze); the text changed 3 times.