Searched refs:status (Results 1 - 25 of 139) sorted by relevance

123456

/seL4-refos-master/libs/libmuslc/src/process/
H A Dwait.c3 pid_t wait(int *status) argument
5 return waitpid((pid_t)-1, status, 0);
H A Dwaitpid.c5 pid_t waitpid(pid_t pid, int *status, int options) argument
7 return syscall_cp(SYS_wait4, pid, status, options, 0);
H A Dsystem.c17 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.c4 _Noreturn void _exit(int status) argument
6 _Exit(status);
H A Dfaccessat.c52 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 Dwait3.c6 pid_t wait3(int *status, int options, struct rusage *usage) argument
8 return wait4(-1, status, options, usage);
H A Dwait4.c6 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 Dsys_exit.c23 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 Dsys_exit.c23 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 Dpclose.c7 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 Defi_init.c46 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 Defi_init.c46 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 Derr.c25 _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 Dinterrupt.c45 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 Dsmmu.c30 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 Dcap.h10 exception_t status; member in struct:deriveCap_ret
/seL4-refos-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c57 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 Dcspace.c21 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 Dcspace.h15 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 Dpthread_setname_np.c11 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 Dvspace.h12 exception_t status; member in struct:lookupPDPTSlot_ret
/seL4-refos-master/kernel/src/object/
H A Duntyped.c33 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 Dcnode.c26 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 Dept.c16 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 Dept.h17 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

Completed in 108 milliseconds

123456