| /seL4-test-master/projects/musllibc/src/misc/ |
| H A D | ptsname.c | 9 int err = __ptsname_r(fd, buf, sizeof buf); local
|
| H A D | pty.c | 27 int pty, err; local
|
| H A D | setrlimit.c | 29 int err; member in struct:ctx
|
| /seL4-test-master/projects/util_libs/libfdt/ |
| H A D | fdt_empty_tree.c | 60 int err; local
[all...] |
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | guest_irq_controller.c | 16 int err; local
|
| H A D | vmx_timer.c | 28 int err = vm_vmcs_write(vcpu->vcpu.cptr, VMX_GUEST_VMX_PREEMPTION_TIMER_VALUE, CONFIG_LIB_VM_VMX_TIMER_TIMEOUT); local
|
| /seL4-test-master/projects/musllibc/src/string/ |
| H A D | strerror_r.c | 5 int strerror_r(int err, char *buf, size_t buflen) argument
|
| /seL4-test-master/projects/musllibc/src/network/ |
| H A D | gethostbyaddr.c | 12 int err; local
|
| H A D | gethostbyname2.c | 13 int err; local
|
| H A D | gethostbyname_r.c | 6 gethostbyname_r(const char *name, struct hostent *h, char *buf, size_t buflen, struct hostent **res, int *err) argument
|
| H A D | gethostbyaddr_r.c | 10 gethostbyaddr_r(const void *a, socklen_t l, int af, struct hostent *h, char *buf, size_t buflen, struct hostent **res, int *err) argument
|
| H A D | gethostbyname2_r.c | 11 gethostbyname2_r(const char *name, int af, struct hostent *h, char *buf, size_t buflen, struct hostent **res, int *err) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
| H A D | guest_boot_init.c | 23 int err = vm_set_thread_context(vcpu, regs); local
|
| H A D | guest_reboot.c | 47 int err = rb.fn(vm, rb.token); local
|
| H A D | service.c | 18 int err; local
|
| H A D | smc.c | 49 int err; local
|
| /seL4-test-master/projects/musllibc/src/unistd/ |
| H A D | setxid.c | 9 int nr, err; member in struct:ctx
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | mem_abort.c | 46 int err; local
84 int err; local
|
| H A D | boot.c | 35 int err; local
68 int err; local
[all...] |
| H A D | guest_arm_context.c | 23 int err = seL4_TCB_WriteRegisters(tcb, false, 0, sizeof(context) / sizeof(context.pc), &context); local
43 int err = seL4_TCB_ReadRegisters(tcb, false, 0, sizeof(regs) / sizeof(regs.pc), ®s); local
69 int err = seL4_TCB_ReadRegisters(tcb, false, 0, sizeof(regs) / sizeof(regs.pc), ®s); local
90 int err = seL4_TCB_ReadRegisters(tcb, false, 0, sizeof(regs) / sizeof(regs.pc), ®s); local
102 int err = seL4_ARM_VCPU_WriteRegs(vcpu->vcpu.cptr, reg, value); local
[all...] |
| H A D | syscalls.c | 83 int err; local
122 int err; local
[all...] |
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/ |
| H A D | interrupt.c | 44 seL4_Error err; local
68 seL4_Error err; local
86 seL4_Error err; local
[all...] |
| /seL4-test-master/projects/musllibc/src/legacy/ |
| H A D | err.c | 53 _Noreturn void err(int status, const char *fmt, ...) function
|
| /seL4-test-master/tools/seL4/misc/ |
| H A D | cpio-strip.c | 95 int err = cpio_info(p, &info); local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
| H A D | generic_forward_device.c | 57 int err; local
|