Symbol: PTE2_KERN