The text 31db12ff50ee, as Debian 8 (Jessie) shipped it.
find a device by its ifindex
dev_get_by_index_rcu(9) on Linux now