ndmp_door_put_uint32
ndmp_door_put_uint32(enc_ctx, ndstat.ns_trun);
ndmp_door_put_uint32(enc_ctx, ndstat.ns_twait);
ndmp_door_put_uint32(enc_ctx, ndstat.ns_nbk);
ndmp_door_put_uint32(enc_ctx, ndstat.ns_nrs);
ndmp_door_put_uint32(enc_ctx, ndstat.ns_rfile);
ndmp_door_put_uint32(enc_ctx, ndstat.ns_wfile);
ndmp_door_put_uint32(enc_ctx, dec_status);
ndmp_door_put_uint32(enc_ctx, enc_status);
ndmp_door_put_uint32(enc_ctx, session);
ndmp_door_put_uint32(enc_ctx, opcode);
extern void ndmp_door_put_uint32(ndmp_door_ctx_t *, uint32_t);