f600368b8f
and PSIG. XXX[1]: This shows that signal emulation ktrace is slightly busted: posted signals should really be translated to the emulated ones instead of producing ktrace records with the signal numbers of the native emulation. XXX[2]: There are other places where signal names can be displayed, but this is not done yet.