/seL4-refos-master/libs/libmuslc/src/process/ |
H A D | wait.c | 3 pid_t wait(int *status) argument 5 return waitpid((pid_t)-1, status, 0);
|
H A D | waitpid.c | 5 pid_t waitpid(pid_t pid, int *status, int options) argument 7 return syscall_cp(SYS_wait4, pid, status, options, 0);
|
H A D | system.c | 17 int status = 0x7f00, ret; local 40 if (!ret) while (waitpid(pid, &status, 0)<0 && errno == EINTR); 46 return status;
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | _exit.c | 4 _Noreturn void _exit(int status) argument 6 _Exit(status);
|
H A D | faccessat.c | 52 int status; local 54 __syscall(SYS_wait4, pid, &status, __WCLONE, 0); 55 } while (!WIFEXITED(status) && !WIFSIGNALED(status)); 56 if (WIFEXITED(status)) 57 ret = errors[WEXITSTATUS(status)];
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | wait3.c | 6 pid_t wait3(int *status, int options, struct rusage *usage) argument 8 return wait4(-1, status, options, usage);
|
H A D | wait4.c | 6 pid_t wait4(pid_t pid, int *status, int options, struct rusage *usage) argument 8 return syscall(SYS_wait4, pid, status, options, usage);
|
/seL4-refos-master/libs/librefossys/src/ |
H A D | sys_exit.c | 23 int status = va_arg(ap, int); local 24 proc_exit(status); 32 int status = va_arg(ap, int); local 33 proc_exit(status);
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
H A D | sys_exit.c | 23 int status = va_arg(ap, int); local 24 proc_exit(status); 32 int status = va_arg(ap, int); local 33 proc_exit(status);
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | pclose.c | 7 int status, r; local 10 while ((r=__syscall(SYS_wait4, pid, &status, 0, 0)) == -EINTR); 12 return status;
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/efi/ |
H A D | efi_init.c | 46 unsigned long status; local 62 status = bts->allocate_pool(EFI_LOADER_DATA, map_size, (void **)&memory_map); 64 if (status != EFI_SUCCESS) 65 return status; 67 status = bts->get_memory_map(&map_size, memory_map, &key, &desc_size, &desc_version); 68 if (status == EFI_BUFFER_TOO_SMALL) { 75 if (status != EFI_SUCCESS){ 77 return status; 80 status = bts->exit_boot_services(__application_handle, key); 81 return status; [all...] |
/seL4-refos-master/tools/elfloader/src/binaries/efi/ |
H A D | efi_init.c | 46 unsigned long status; local 62 status = bts->allocate_pool(EFI_LOADER_DATA, map_size, (void **)&memory_map); 64 if (status != EFI_SUCCESS) 65 return status; 67 status = bts->get_memory_map(&map_size, memory_map, &key, &desc_size, &desc_version); 68 if (status == EFI_BUFFER_TOO_SMALL) { 75 if (status != EFI_SUCCESS){ 77 return status; 80 status = bts->exit_boot_services(__application_handle, key); 81 return status; [all...] |
/seL4-refos-master/libs/libmuslc/src/legacy/ |
H A D | err.c | 25 _Noreturn void verr(int status, const char *fmt, va_list ap) argument 28 exit(status); 31 _Noreturn void verrx(int status, const char *fmt, va_list ap) argument 34 exit(status); 53 _Noreturn void err(int status, const char *fmt, ...) argument 57 verr(status, fmt, ap); 61 _Noreturn void errx(int status, const char *fmt, ...) argument 65 verrx(status, fmt, ap);
|
/seL4-refos-master/kernel/src/arch/arm/object/ |
H A D | interrupt.c | 45 exception_t status = Arch_checkIRQ(irq_w); local 46 if (status != EXCEPTION_NONE) { 47 return status; 63 if (lu_ret.status != EXCEPTION_NONE) { 66 return lu_ret.status; 71 status = ensureEmptySlot(destSlot); 72 if (status != EXCEPTION_NONE) { 75 return status; 88 exception_t status = Arch_checkIRQ(irq_w); local 91 if (status ! [all...] |
H A D | smmu.c | 30 exception_t status; local 79 if (lu_ret.status != EXCEPTION_NONE) { 82 return lu_ret.status; 85 status = ensureEmptySlot(destSlot); 86 if (status != EXCEPTION_NONE) { 89 return status; 104 exception_t status; local 130 status = ensureEmptySlot(cbAssignSlot); 131 if (status != EXCEPTION_NONE) { 133 return status; 175 exception_t status = EXCEPTION_NONE; local 193 exception_t status; local 257 exception_t status; local 354 exception_t status = EXCEPTION_NONE; local [all...] |
/seL4-refos-master/kernel/include/object/ |
H A D | cap.h | 10 exception_t status; member in struct:deriveCap_ret
|
/seL4-refos-master/kernel/src/arch/riscv/object/ |
H A D | interrupt.c | 57 exception_t status = Arch_checkIRQ(irq_w); local 58 if (status != EXCEPTION_NONE) { 59 return status; 69 if (lu_ret.status != EXCEPTION_NONE) { 72 return lu_ret.status; 77 status = ensureEmptySlot(destSlot); 78 if (status != EXCEPTION_NONE) { 81 return status;
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | cspace.c | 21 if (unlikely(lu_ret.status != EXCEPTION_NONE)) { 22 ret.status = lu_ret.status; 27 ret.status = EXCEPTION_NONE; 38 if (unlikely(lu_ret.status != EXCEPTION_NONE)) { 39 ret.status = lu_ret.status; 45 ret.status = EXCEPTION_NONE; 60 ret.status = res_ret.status; [all...] |
/seL4-refos-master/kernel/include/kernel/ |
H A D | cspace.h | 15 exception_t status; member in struct:lookupCap_ret 21 exception_t status; member in struct:lookupCapAndSlot_ret 28 exception_t status; member in struct:lookupSlot_raw_ret 34 exception_t status; member in struct:lookupSlot_ret 40 exception_t status; member in struct:resolveAddressBits_ret
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_setname_np.c | 11 int fd, cs, status = 0; local 22 if ((fd = open(f, O_WRONLY)) < 0 || write(fd, name, len) < 0) status = errno; 25 return status;
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
H A D | vspace.h | 12 exception_t status; member in struct:lookupPDPTSlot_ret
|
/seL4-refos-master/kernel/src/object/ |
H A D | untyped.c | 33 exception_t status; local 120 if (lu_ret.status != EXCEPTION_NONE) { 122 return lu_ret.status; 167 status = ensureEmptySlot(slots.cnode + i); 168 if (status != EXCEPTION_NONE) { 171 return status; 186 status = ensureNoChildren(slot); 187 if (status != EXCEPTION_NONE) { 245 exception_t status; local 267 status 284 exception_t status; local [all...] |
H A D | cnode.c | 26 exception_t status; member in struct:finaliseSlot_ret 48 exception_t status; local 68 if (lu_ret.status != EXCEPTION_NONE) { 70 return lu_ret.status; 93 status = ensureEmptySlot(destSlot); 94 if (status != EXCEPTION_NONE) { 96 return status; 100 if (lu_ret.status != EXCEPTION_NONE) { 102 return lu_ret.status; 127 if (dc_ret.status ! 531 exception_t status; local 619 exception_t status; local 668 exception_t status; local [all...] |
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | ept.c | 16 exception_t status; member in struct:lookupEPTPDPTSlot_ret 22 exception_t status; member in struct:lookupEPTPDSlot_ret 28 exception_t status; member in struct:lookupEPTPTSlot_ret 82 ret.status = EXCEPTION_LOOKUP_FAULT; 87 ret.status = EXCEPTION_NONE; 107 ret.status = EXCEPTION_LOOKUP_FAULT; 114 ret.status = EXCEPTION_NONE; 124 if (lu_ret.status != EXCEPTION_NONE) { 129 ret.status = EXCEPTION_LOOKUP_FAULT; 137 ret.status [all...] |
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | ept.h | 17 exception_t status; member in struct:EPTPDPTMapped_ret 24 exception_t status; member in struct:EPTPageDirectoryMapped_ret 31 exception_t status; member in struct:EPTPageTableMapped_ret 36 exception_t status; member in struct:findEPTForASID_ret
|