Symbol: pmap_flush_page_pae
sys/arch/i386/i386/pmap.c
1643
pmap_flush_page_pae(pa);
sys/arch/i386/include/pmap.h
354
void pmap_flush_page_pae(paddr_t);