Symbol: kern_tid_node