Man pages matching name ifp.h in section 3:

ifp.h.3.en

debian 10 / libifp-dev