Missing stdint.h includes?

[Raphael Kubo da Costa]

Hey there,

I was working on some code that used devinfo(3). According to devinfo's
man page, #including devinfo.h should be enough to use it. However, a
program which only #includes devinfo.h fails due to stdint.h (or
sys/types.h) not being included, thus giving me some errors about
uint32_t and other types not being defined.

A few headers in sys/, such as sys/rman.h, have the same problem.

Is it a bug in the headers themselves or are the man pages just
incorrect?