SADB_EXT_MAX
for (i = 0; i < SADB_EXT_MAX + 1; i++)
caddr_t mhp[SADB_EXT_MAX + 1];
caddr_t mhp[SADB_EXT_MAX + 1];
caddr_t mhp[SADB_EXT_MAX + 1];
caddr_t mhp[SADB_EXT_MAX + 1];
caddr_t mhp[SADB_EXT_MAX + 1];
caddr_t mhp[SADB_EXT_MAX + 1];
caddr_t mhp[SADB_EXT_MAX + 1];
caddr_t mhp[SADB_EXT_MAX + 1];
caddr_t mhp[SADB_EXT_MAX + 1];
caddr_t mhp[SADB_EXT_MAX + 1];
KASSERT(idx <= SADB_EXT_MAX);
void *ext[SADB_EXT_MAX + 1];
int extoff[SADB_EXT_MAX + 1];
int extlen[SADB_EXT_MAX + 1];