Symbol: invpcid_insn
usr/src/uts/i86pc/sys/pc_mmu.h
60
extern void invpcid_insn(uint64_t, uint64_t, uintptr_t);
usr/src/uts/i86pc/vm/i86_mmu.c
436
invpcid_insn(type, pcid, addr);