Symbol: ipte_lock_held