Current File : //usr/share/man/man9f/ddi_put32.9f
.so man9f/ddi_put8.9f