Symbol: gen8_pml4e_encode