Symbol: l1pte_section_p