Symbol: pmap_pti_pcid_invlpg
sys/amd64/amd64/mp_machdep.c
935
pmap_pti_pcid_invlpg(ucr3, kcr3, smp_tlb_addr1);
sys/amd64/amd64/pmap.c
3212
pmap_pti_pcid_invlpg(ucr3, kcr3, va);
sys/amd64/include/pmap.h
434
void pmap_pti_pcid_invlpg(uint64_t ucr3, uint64_t kcr3, vm_offset_t va);