Symbol: pmap_pml4e_index