Searched defs:entryPoint (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | thread.h | 37 vaddr_t entryPoint; member in struct:proc_tcb
|
| H A D | thread.c | 19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, argument
|
| H A D | process.c | 224 void *entryPoint = sel4utils_elf_load ( local
550 proc_clone(struct proc_pcb *p, int *threadID, vaddr_t stackAddr, vaddr_t entryPoint) argument
[all...] |
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | thread.h | 37 vaddr_t entryPoint; member in struct:proc_tcb
|
| H A D | thread.c | 19 thread_config(struct proc_tcb *thread, uint8_t priority, vaddr_t entryPoint, argument
|
| H A D | process.c | 224 void *entryPoint = sel4utils_elf_load ( local
550 proc_clone(struct proc_pcb *p, int *threadID, vaddr_t stackAddr, vaddr_t entryPoint) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/selfloader/src/ |
| H A D | selfloader.c | 428 seL4_Word entryPoint = elf_getEntryPoint(file); local
|
| /seL4-refos-master/apps/selfloader/src/ |
| H A D | selfloader.c | 428 seL4_Word entryPoint = elf_getEntryPoint(file); local
|
Completed in 81 milliseconds