Symbol: pt_entry_t