Symbol: check_psi_entry