Symbol: pmap_pml4_pindex