The text bfc39e3e6e1c, as Debian 10 (Buster) shipped it.
Get the ping timers for a link.
knet_link_get_ping_timers(3) on Linux now