Symbol: TP_GET_VA
sys/arch/x86/x86/x86_tlb.c
231
pmap_update_pg(TP_GET_VA(tp, i));
sys/arch/x86/x86/x86_tlb.c
308
xen_mcast_invlpg(TP_GET_VA(tp, i), target);