/seL4-camkes-master/projects/musllibc/src/process/ |
H A D | wait.c | 3 pid_t wait(int *status) argument
|
H A D | waitpid.c | 5 pid_t waitpid(pid_t pid, int *status, int options) argument
|
H A D | system.c | 17 int status = 0x7f00, ret; local
|
/seL4-camkes-master/projects/musllibc/src/unistd/ |
H A D | _exit.c | 4 _Noreturn void _exit(int status) argument
|
H A D | faccessat.c | 52 int status; local
|
/seL4-camkes-master/projects/musllibc/src/stdio/ |
H A D | pclose.c | 7 int status, r; local
|
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | wait3.c | 6 pid_t wait3(int *status, int options, struct rusage *usage) argument
|
H A D | wait4.c | 6 pid_t wait4(pid_t pid, int *status, int options, struct rusage *usage) argument
|
/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | pthread_setname_np.c | 11 int fd, cs, status = 0; local
|
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | sntp.c | 19 void cb_synced(pico_err_t status) argument
|
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
H A D | vspace.h | 12 exception_t status; member in struct:lookupPDPTSlot_ret
|
/seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
H A D | iospace.h | 30 exception_t status; member in struct:lookupIOPTSlot_ret
|
/seL4-camkes-master/kernel/include/object/ |
H A D | cap.h | 10 exception_t status; member in struct:deriveCap_ret
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 37 exception_t status; member in struct:findVSpaceForASID_ret
|
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | pk.h | 16 long status; member in struct:__anon810
|
/seL4-camkes-master/projects/musllibc/src/legacy/ |
H A D | err.c | 25 _Noreturn void verr(int status, const char *fmt, va_list ap) argument 31 _Noreturn void verrx(int status, const char *fmt, va_list ap) argument 53 _Noreturn void err(int status, const char *fmt, ...) argument 61 _Noreturn void errx(int status, const char *fmt, ...) argument
|
/seL4-camkes-master/projects/musllibc/src/misc/ |
H A D | forkpty.c | 42 int status; local
|
H A D | wordexp.c | 16 int status; local
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/binaries/efi/ |
H A D | efi_init.c | 46 unsigned long status; local [all...] |
/seL4-camkes-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
|
H A D | vspace.h | 19 exception_t status; member in struct:lookupPTSlot_ret 25 exception_t status; member in struct:lookupPDSlot_ret 31 exception_t status; member in struct:findVSpaceForASID_ret
|
/seL4-camkes-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-camkes-master/projects/global-components/components/PicoServer/src/ |
H A D | eth_interface.c | 43 int status = ethdriver_tx(len); local 62 int status = ethdriver_rx(&len); local
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | faulthandler.c | 55 exception_t status; local
|
/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | interrupt.c | 45 exception_t status = Arch_checkIRQ(irq_w); local 88 exception_t status = Arch_checkIRQ(irq_w); local [all...] |