libsel4utils/src/process.c

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);