Lines Matching defs:auxv
26 #include <sel4runtime/auxv.h>
294 Elf_auxv_t auxv[7];
295 auxv[0].a_type = AT_PAGESZ;
296 auxv[0].a_un.a_val = process->pagesz;
297 auxv[1].a_type = AT_PHDR;
298 auxv[1].a_un.a_val = at_phdr;
299 auxv[2].a_type = AT_PHNUM;
300 auxv[2].a_un.a_val = process->num_elf_phdrs;
301 auxv[3].a_type = AT_PHENT;
302 auxv[3].a_un.a_val = sizeof(Elf_Phdr);
303 auxv[4].a_type = AT_SEL4_IPC_BUFFER_PTR;
304 auxv[4].a_un.a_val = (uintptr_t) process->thread.ipc_buffer_addr;
305 auxv[5].a_type = AT_SEL4_TCB;
306 auxv[5].a_un.a_val = process->dest_tcb_cptr;
308 auxv[6].a_type = AT_SYSINFO;
309 auxv[6].a_un.a_val = process->sysinfo;
334 sizeof(auxv[0]) * auxc + /* aux */
353 error = sel4utils_stack_write(vspace, &process->vspace, vka, auxv, sizeof(auxv[0]) * auxc, &initial_stack_pointer);