src/distrib/hpcsh/instkernel

.