MAX32BIT
uint32_t ctl_tag = MAX32BIT;
uint32_t flag = MAX32BIT;
uint32_t ctl_tag = MAX32BIT;
uint32_t ctl_tag = MAX32BIT;
uint32_t type = MAX32BIT;
uint32_t value = MAX32BIT;
if (attrp->stripe_size != MAX32BIT) {
uint32_t value_c = MAX32BIT;
uint32_t value_t = MAX32BIT;
uint32_t value_d = MAX32BIT;
uint32_t value_c = MAX32BIT;
uint32_t value_t = MAX32BIT;
uint32_t value_d = MAX32BIT;
uint32_t ctl_tag = MAX32BIT;
uint32_t ctl_tag = MAX32BIT;
uint32_t ctl_tag = MAX32BIT;