Searched refs:invpcid_insn (Results 1 – 3 of 3) sorted by relevance
60 extern void invpcid_insn(uint64_t, uint64_t, uintptr_t);
93 invpcid_insn(uint64_t type, uint64_t pcid, uintptr_t addr) in invpcid_insn() function
436 invpcid_insn(type, pcid, addr); in invpcid()