Man pages matching name probe::ipmib.fragoks in section 3stap:

probe::ipmib.FragOKs.3stap.en	debian 10 / systemtap-doc
probe::ipmib.FragOKs.3stap.en	debian 11 / systemtap-doc
probe::ipmib.FragOKs.3stap.en	debian 12 / systemtap-doc