reassign 637424 kfreebsd-kernel-headers --
The second option is to insert into <machine/sysarch.h> "always inline" functions.
I don't see a problem with using inline functions. Shall we do this?
Yes, it is easier and can be stopped any time. Petr