pub fn free_pcid(pcid: u16)Expand description
Free a PCID back to the pool (called when an address space is destroyed).
This prevents PCID exhaustion in long-running systems with dynamic silo creation/destruction. The freed PCID is tracked for reuse, but the actual TLB invalidation on other cores is the caller’s responsibility.