adrm_int64
(void) adrm_int64(&adr, (int64_t *)&s, 1);
(void) adrm_int64(&adr, (int64_t *)&m, 1);
(void) adrm_int64(&adr, (int64_t *)&s, 1);
(void) adrm_int64(&adr, (int64_t *)&m, 1);
(void) adrm_int64(&adr, (int64_t *)&secs, 1);
(void) adrm_int64(&adr, (int64_t *)&msecs, 1);
(void) adrm_int64(&adr, (int64_t *)&secs, 1);
(void) adrm_int64(&adr, (int64_t *)&msecs, 1);
adrm_int64(adr, &port, 1);
adrm_int64(adr, &port, 1);
adrm_int64(adr, &port, 1);
adrm_int64(adr, &port, 1);
adrm_int64(adr, (int64_t *)&c4, 1);
adrm_int64(adr, &arg_val, 1);
adrm_int64(adr, &nodeid, 1);
adrm_int64(adr, &nodeid, 1);
adrm_int64(adr, &dev, 1);
adrm_int64(adr, lp, count);
adrm_int64(&(ctx->adr), &port, 1);
adrm_int64(&(ctx->adr), &port, 1);
adrm_int64(&(ctx->adr), &port, 1);
adrm_int64(&(ctx->adr), &port, 1);
adrm_int64(adr, (int64_t *)lp, count);
extern void adrm_int64(adr_t *, int64_t *, int);