Symbol: pmap_invalidate_pde_page