Searched refs:invlpgb_flush_single_pcid_nosync (Results 1 – 2 of 2) sorted by relevance
134 static inline void invlpgb_flush_single_pcid_nosync(unsigned long pcid) in invlpgb_flush_single_pcid_nosync() function
514 invlpgb_flush_single_pcid_nosync(kern_pcid(asid)); in broadcast_tlb_flush()517 invlpgb_flush_single_pcid_nosync(user_pcid(asid)); in broadcast_tlb_flush()