/* Return non-zero if a channel-path with the given chpid is registered, zero otherwise.  */
int chp_is_registered(struct chp_id chpid)
/* Return non-zero if a channel-path with the given chpid is registered, zero otherwise.  */
int chp_is_registered(struct chp_id chpid)
{
	return chpid_to_chp(chpid) != NULL;
}