Symbol: pte2_is_wired