LINUX_ELF_AUX_ENTRIES
(LINUX_ELF_AUX_ENTRIES * sizeof(Aux64Info) + LINUX_RANDOM_BYTES)
(LINUX_ELF_AUX_ENTRIES * sizeof(Aux64Info) + LINUX_RANDOM_BYTES)
Aux64Info ai[LINUX_ELF_AUX_ENTRIES];
KASSERT(i == LINUX_ELF_AUX_ENTRIES);
(LINUX_ELF_AUX_ENTRIES * sizeof(Aux32Info) + LINUX_RANDOM_BYTES)
(LINUX_ELF_AUX_ENTRIES * sizeof(Aux32Info) + LINUX_RANDOM_BYTES)
(LINUX_ELF_AUX_ENTRIES * sizeof(Aux32Info) + LINUX_RANDOM_BYTES)
(LINUX_ELF_AUX_ENTRIES * sizeof(Aux32Info) + LINUX_RANDOM_BYTES)
(LINUX_ELF_AUX_ENTRIES * sizeof(Aux32Info) + LINUX_RANDOM_BYTES + 16)
AuxInfo ai[LINUX_ELF_AUX_ENTRIES], *a;
AuxInfo ai[LINUX_ELF_AUX_ENTRIES], *a;
KASSERT(len <= LINUX_ELF_AUX_ENTRIES * sizeof(AuxInfo));