Searched refs:kern_pcid (Results 1 – 1 of 1) sorted by relevance
116 static inline u16 kern_pcid(u16 asid) in kern_pcid() function154 u16 ret = kern_pcid(asid); in user_pcid()166 cr3 |= kern_pcid(asid); in build_cr3()514 invlpgb_flush_single_pcid_nosync(kern_pcid(asid)); in broadcast_tlb_flush()526 invlpgb_flush_user_nr_nosync(kern_pcid(asid), addr, nr, pmd); in broadcast_tlb_flush()561 __set_bit(kern_pcid(asid), in invalidate_user_asid()