auxv_n_to_32
extern void auxv_n_to_32(const auxv_t *, auxv32_t *);
auxv_n_to_32(&P->auxv[i], &av32[i]);