Home
last modified time | relevance | path

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

/arch/x86/include/asm/
A Dtlb.h134 static inline void invlpgb_flush_single_pcid_nosync(unsigned long pcid) in invlpgb_flush_single_pcid_nosync() function
/arch/x86/mm/
A Dtlb.c513 invlpgb_flush_single_pcid_nosync(kern_pcid(asid)); in broadcast_tlb_flush()
516 invlpgb_flush_single_pcid_nosync(user_pcid(asid)); in broadcast_tlb_flush()

Completed in 5 milliseconds