The text 6112a9bbb8b5, as Debian 10 (Buster) shipped it.
systemtap nfsderrno tapset
tapset::nfsderrno(3stap) on Linux now
