adrm_u_int32
adrm_u_int32(&adr, &len, 1);
(void) adrm_u_int32(&adr, (uint32_t *)&bytes, 1);
adrm_u_int32(adr, &host, 1);
adrm_u_int32(adr, &bytes, 1);
adrm_u_int32(adr, &value, 1);
adrm_u_int32(adr, &access_mask, 1);
adrm_u_int32(&(ctx->adr), (uint32_t *)&(ctx->out.sf_auid), 1);
adrm_u_int32(&(ctx->adr), (uint32_t *)&(ctx->out.sf_euid), 1);
adrm_u_int32(&(ctx->adr), (uint32_t *)&(ctx->out.sf_egid), 1);
adrm_u_int32(&(ctx->adr), (uint32_t *)&(ctx->out.sf_asid), 1);
adrm_u_int32(&(ctx->adr), &(ctx->out.sf_tid.at_type), 1);
adrm_u_int32(&(ctx->adr), &(ctx->out.sf_tid.at_type), 1);
adrm_u_int32(&(ctx->adr), &(ctx->out.sf_reclen), 1);
adrm_u_int32(&(ctx->adr), &bytes, 1);
adrm_u_int32(&(ctx->adr), (uint32_t *)&(ctx->out.sf_pauid), 1);
adrm_u_int32(&(ctx->adr), (uint32_t *)&(ctx->out.sf_peuid), 1);
adrm_u_int32(&(ctx->adr), &asid, 1);
extern void adrm_u_int32(adr_t *, uint32_t *, int);