hat_getkpfnum is referenced but not documented
This is an obsolete function, that largely exists for SVID compatibility.
It isn't documented, although some references to it exist in other pages.
We should probably remove it entirely. Nobody should be using it any more. (We should verify that none of the closed drivers have references to it -- historically this was found in some really old drivers.)