Man pages matching name mysql_ping in section 3:

mysql_ping.3.en

debian 12 / libmariadb-dev