Home
last modified time | relevance | path

Searched refs:kern_pcid (Results 1 – 1 of 1) sorted by relevance

/Linux-v4.19/arch/x86/include/asm/
Dtlbflush.h75 static inline u16 kern_pcid(u16 asid) in kern_pcid() function
113 u16 ret = kern_pcid(asid); in user_pcid()
124 return __sme_pa(pgd) | kern_pcid(asid); in build_cr3()
140 return __sme_pa(pgd) | kern_pcid(asid) | CR3_NOFLUSH; in build_cr3_noflush()
389 __set_bit(kern_pcid(asid), in invalidate_user_asid()