package for kernel man pages (section 9)

[Tom H]

On Mon, Dec 2, 2013 at 9:44 AM, David Shwatrz <dshwatrz at gmail.com> wrote:
>
> I tried  downloading and installing the debian package:
>  dpkg -i linux-manual-3.9_3.9.6-1~bpo70+1_all.deb
> After this, I do have man files under:
> /usr/share/man/man9
>
> However, man kmalloc() and any other kernel methods does not work.
> I also ran "mandb" but it did not help.

Have you tried "man kmalloc"?

Check whether "/usr/share/man/man9/kmalloc.9.gz" exists.