/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wceconf.h | 325 extern int __cdecl vfprintf(FILE* f, const char *format, va_list args); 329 extern int __cdecl vprintf(const char *format, va_list args);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | files.c | 1083 const char *args[10]; local 1104 args[0] = COMPRESS; 1105 if (uncomp) args[++i] = "-d"; /* uncompress */ 1121 args[++i] = opt; 1128 args[++i] = (char *)0; 1166 (void) execv(args[0], (char *const *) args);
|
/seL4-refos-master/apps/terminal/src/ |
H A D | terminal.c | 44 static char *args[TERMINAL_INPUT_ARG_COUNT]; variable 96 if (!args[1]) { 101 snprintf(tempBuffer, 1024, "%s%s", getenv("PWD"), args[1]); 105 printf("-terminal: %s: application not found\n", args[1]); 113 if (!args[0]) return; 116 if (!strcmp(args[0], "exec")) { 118 } else if (!strcmp(args[0], "clear") || !strcmp(args[0], "cls") || !strcmp(args[0], "reset")) { 120 } else if (!strcmp(args[ [all...] |
/seL4-refos-master/ |
H A D | cidl_compile | 209 args = parser.parse_args() variable 211 process(args.filename, args.client, args.header, args.dispatcher, args.no_preprocess, args.debug)
|
/seL4-refos-master/libs/libmuslc/dist/ |
H A D | config.mak | 27 #CFLAGS += -fomit-frame-pointer -mno-accumulate-outgoing-args
|
/seL4-refos-master/libs/libmuslc/ldso/ |
H A D | dynlink.c | 38 size_t args[2]; member in struct:td_index 432 new->args[0] = def.dso->tls_id; 433 new->args[1] = tls_val + addend; 1493 ldd_mode ? "" : " [args]");
|
/seL4-refos-master/libs/libmuslc/src/aio/ |
H A D | aio.c | 191 struct aio_args *args = ctx; local 192 struct aiocb *cb = args->cb; 194 int op = args->op; 202 args->err = q ? 0 : EAGAIN; 203 sem_post(&args->sem); 266 struct aio_args args = { .cb = cb, .op = op }; local 267 sem_init(&args.sem, 0, 0); 283 if (pthread_create(&td, &a, io_thread_func, &args)) { 290 while (sem_wait(&args.sem)); 291 if (args [all...] |
/seL4-refos-master/libs/libmuslc/src/internal/i386/ |
H A D | syscall.s | 4 # and 5 args arriving as: eax, edx, ecx, edi, esi, 4(%esp).
|
/seL4-refos-master/libs/libmuslc/src/mq/ |
H A D | mq_notify.c | 9 struct args { struct 17 struct args *args = p; local 20 int s = args->sock; 21 void (*func)(union sigval) = args->sev->sigev_notify_function; 22 union sigval val = args->sev->sigev_value; 24 pthread_barrier_wait(&args->barrier); 34 struct args args = { .sev = sev }; local 46 args [all...] |
/seL4-refos-master/libs/libmuslc/src/process/ |
H A D | posix_spawn.c | 13 struct args { struct 43 struct args *args = args_vp; local 44 int p = args->p[1]; 45 const posix_spawn_file_actions_t *fa = args->fa; 46 const posix_spawnattr_t *restrict attr = args->attr; 49 close(args->p[0]); 131 ? &attr->__mask : &args->oldmask, 0); 133 args->exec(args 153 struct args args; local [all...] |
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/ |
H A D | syscall_cp.s | 14 #r3,r4: return values, first args 15 #r5-r10: args
|
/seL4-refos-master/libs/libmuslc/src/thread/powerpc64/ |
H A D | clone.s | 22 # shuffle args into correct registers and call SYS_clone
|
/seL4-refos-master/libs/libmuslc/src/thread/s390x/ |
H A D | clone.s | 29 # shuffle args into correct registers and call SYS_clone
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | timer_create.c | 63 struct start_args *args = arg; local 68 self->start = (void *(*)(void *))args->sev->sigev_notify_function; 69 self->start_arg = args->sev->sigev_value.sival_ptr; 71 pthread_barrier_wait(&args->b); 87 struct start_args args; local 113 pthread_barrier_init(&args.b, 0, 2); 114 args.sev = evp; 117 r = pthread_create(&td, &attr, start, &args); 131 pthread_barrier_wait(&args.b);
|
/seL4-refos-master/libs/libsel4debug/src/ |
H A D | alloc.c | 134 #define error(args...) do { \ 137 fprintf(stderr, args); \
|
/seL4-refos-master/libs/libsel4vka/src/ |
H A D | debug-vka.c | 65 #define fatal(args...) do { \ 66 fprintf(stderr, "VKA debug: " args); \ 72 #define warn(args...) do { \ 73 fprintf(stderr, "VKA debug: " args); \
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | attribute.h | 30 #define ALLOC_SIZE(args...) __attribute__((alloc_size(args))) 31 #define ASSUME_ALIGNED(args...) __attribute__((assume_aligned(args))) 55 #define NONNULL(args...) __attribute__((__nonnull__(args)))
|
H A D | util.h | 68 #define LOG_ERROR(args...) ZF_LOGE(args) 69 #define LOG_INFO(args...) ZF_LOGI(args)
|
/seL4-refos-master/libs/libvterm/include/vterm/ |
H A D | vterm.h | 72 int (*csi)(const char *leader, const long args[], int argcount, const char *intermed, char command, void *user);
|
/seL4-refos-master/libs/libvterm/src/ |
H A D | parser.c | 19 static void do_string_csi(VTerm *vt, const char *args, size_t arglen, char command) argument 28 if(args[i] < 0x3c || args[i] > 0x3f) 31 leader[leaderlen++] = args[i]; 39 if(args[i] == 0x3b || args[i] == 0x3a) // ; or : 53 switch(args[i]) { 59 csi_args[argi] += args[i] - '0'; 77 if((args[i] & 0xf0) != 0x20) 81 intermed[intermedlen++] = args[ [all...] |
H A D | pen.c | 43 static int lookup_colour(int palette, const long args[], int argcount, char is_bg, VTermColor *col)
argument 48 case 2: // RGB mode - 3 args contain colour values directly
52 col->red = CSI_ARG(args[0]);
53 col->green = CSI_ARG(args[1]);
54 col->blue = CSI_ARG(args[2]);
59 index = argcount ? CSI_ARG_OR(args[0], -1) : -1;
178 void vterm_state_setpen(VTermState *state, const long args[], int argcount)
argument 191 switch(arg = CSI_ARG(args[argi])) {
231 state->pen.font = CSI_ARG(args[argi]) - 10;
272 value = CSI_ARG(args[arg [all...] |
H A D | state.c | 786 static int on_csi(const char *leader, const long args[], int argcount, const char *intermed, char command, void *user) argument 838 count = CSI_ARG_COUNT(args[0]); 850 count = CSI_ARG_COUNT(args[0]); 856 count = CSI_ARG_COUNT(args[0]); 862 count = CSI_ARG_COUNT(args[0]); 868 count = CSI_ARG_COUNT(args[0]); 874 count = CSI_ARG_COUNT(args[0]); 881 count = CSI_ARG_COUNT(args[0]); 888 val = CSI_ARG_OR(args[0], 1); 894 row = CSI_ARG_OR(args[ [all...] |
H A D | vterm.c | 122 void vterm_push_output_vsprintf(VTerm *vt, const char *format, va_list args) argument 126 format, args); 132 va_list args; local 133 va_start(args, format); 134 vterm_push_output_vsprintf(vt, format, args); 135 va_end(args); 145 va_list args; local 146 va_start(args, fmt); 147 vterm_push_output_vsprintf(vt, fmt, args); 148 va_end(args); [all...] |
H A D | vterm_internal.h | 162 void vterm_push_output_vsprintf(VTerm *vt, const char *format, va_list args); 169 void vterm_state_setpen(VTermState *state, const long args[], int argcount);
|
/seL4-refos-master/projects/refos/design/ |
H A D | interface.tex | 124 \item \pro{procserv}{session}{clone(entry, stack, flags, args)}{(ErrorCode, thread\_id)} 130 \item [args] The thread arguments
|