By far the majority are from the freebsd-manpages package, whose description is
Description: Manual pages for a GNU/kFreeBSD system
This package contains a selection of manual pages from FreeBSD that are useful on a GNU/kFreeBSD system:
2 = System calls (functions provided by the kernel)
4 = Special files (usually found in /dev)
9 = Kernel routines
So, unless you are running a GNU/kFreeBSD port, you should not expect to see any kernel routine manpages in Section 9.
If you have
apt-file
on your system, you can check what packages would place manpages in section 9:By far the majority are from the
freebsd-manpages
package, whose description isSo, unless you are running a GNU/kFreeBSD port, you should not expect to see any kernel routine manpages in Section 9.