Symbol: pte1_is_wired