Symbol: pmap_pml4e_pindex