Searched defs:va_start (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/tools/rumprun/include/bmk-core/ |
H A D | printf.h | 40 #define va_start(ap, last) __builtin_va_start((ap), (last)) macro
|
/seL4-camkes-master/tools/seL4/elfloader-tool/include/ |
H A D | vargs.h | 21 #define va_start(ap, parmN) __builtin_va_start(ap, parmN) macro
|
/seL4-camkes-master/kernel/include/ |
H A D | stdarg.h | 9 #define va_start(v,l) __builtin_va_start(v,l) macro
|
/seL4-camkes-master/projects/musllibc/include/ |
H A D | stdarg.h | 12 #define va_start(v,l) __builtin_va_start(v,l) macro
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 224 void sel4utils_get_image_region(uintptr_t *va_start, uintptr_t *va_end) argument 238 uintptr_t va_start, va_end; local
|
Completed in 93 milliseconds