Hi,
A naive question and may not be completely related to NetBSD.
Why is the programming interface on the kernel side and user side different
(double-std interface) in NetBSD and other like OSes?
For ex: programming API for mutex in the kernel side and user side is
completely different.
Regards