Searched refs:vl (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/projects/musllibc/src/string/
H A Dmemcmp.c3 int memcmp(const void *vl, const void *vr, size_t n) argument
5 const unsigned char *l=vl, *r=vr;
/seL4-test-master/tools/riscv-pk/pk/
H A Dconsole.c9 static void vprintk(const char* s, va_list vl) argument
12 int res = vsnprintf(out, sizeof(out), s, vl);
18 va_list vl; local
19 va_start(vl, s);
21 vprintk(s, vl);
23 va_end(vl);
48 va_list vl; local
49 va_start(vl, s);
51 vprintk(s, vl);
54 va_end(vl);
[all...]
H A Dpk.h34 int vsnprintf(char* out, size_t n, const char* s, va_list vl);
/seL4-test-master/tools/riscv-pk/util/
H A Dsnprintf.c8 int vsnprintf(char* out, size_t n, const char* s, va_list vl) argument
28 long num = longarg ? va_arg(vl, long) : va_arg(vl, int);
39 long num = longarg ? va_arg(vl, long) : va_arg(vl, int);
58 const char* s2 = va_arg(vl, const char*);
70 if (++pos < n) out[pos-1] = (char)va_arg(vl,int);
93 va_list vl; local
94 va_start(vl, s);
95 int res = vsnprintf(out, n, s, vl);
[all...]
/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.c45 void vprintm(const char* s, va_list vl) argument
48 vsnprintf(buf, sizeof buf, s, vl);
54 va_list vl; local
56 va_start(vl, s);
57 vprintm(s, vl);
58 va_end(vl);
H A Dfdt.c706 va_list vl; local
711 va_start(vl, format);
712 vprintm(format, vl);
713 va_end(vl);

Completed in 39 milliseconds