Symbol: pte_wired_p