Symbol: pmap_ept_free_ptp
sys/arch/x86/x86/pmap.c
6714
pmap_ept_free_ptp(pmap, ptp, va);
sys/arch/x86/x86/pmap.c
6812
pmap_ept_free_ptp(pmap, ptp, va);