compile kernel with options SYSCTL_DEBUG and run:
```
% cat dumpall.csysctl sysctl.debug
#include <sys/types.h>
#include <sys/sysctl.h>
#include <err.h>
#include <stddef.h>
int main()
{
int oid[2];
oid[0] = CTL_SYSCTL;
oid[1] = CTL_SYSCTL_DEBUG;
if (sysctl(oid, 2, NULL, NULL, NULL, 0) != 0)
err(1, "sysctl()");
}
```
observe kern.msgbuf