CTLTYPE_S32
[CTLTYPE_S32] = sizeof(int32_t),
case CTLTYPE_S32:
[CTLTYPE_S32] = "int32_t",
case CTLTYPE_S32:
case CTLTYPE_S32:
case CTLTYPE_S32:
[CTLTYPE_S32] = 1,
CTLTYPE_S32 | CTLFLAG_RW | CTLFLAG_MPSAFE, adapter, 0,
CTLTYPE_S32 | CTLFLAG_RW | CTLFLAG_MPSAFE, adapter, 0,
CTLTYPE_S32 | CTLFLAG_RD | CTLFLAG_MPSAFE,
case CTLTYPE_S32:
case CTLTYPE_S32: printf(" int32_t\n"); break;
[CTLTYPE_S32] = 1,
[CTLTYPE_S32] = sizeof(int32_t),
case CTLTYPE_S32:
case CTLTYPE_S32:
case CTLTYPE_S32:
CTLTYPE_S32 | CTLFLAG_MPSAFE | (access), \
((access) & SYSCTL_CT_ASSERT_MASK) == CTLTYPE_S32) && \
((access) & SYSCTL_CT_ASSERT_MASK) == CTLTYPE_S32); \
CTLTYPE_S32 | CTLFLAG_MPSAFE | (access), \
GET_VALUE(CTLTYPE_S32, int32_t);