Searched defs:va_end (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Dprintf.h42 #define va_end(ap) __builtin_va_end(ap) macro
/seL4-camkes-master/tools/seL4/elfloader-tool/include/
H A Dvargs.h20 #define va_end(ap) __builtin_va_end(ap) macro
/seL4-camkes-master/kernel/include/
H A Dstdarg.h11 #define va_end(v) __builtin_va_end(v) macro
/seL4-camkes-master/projects/musllibc/include/
H A Dstdarg.h13 #define va_end(v) __builtin_va_end(v) macro
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c224 void sel4utils_get_image_region(uintptr_t *va_start, uintptr_t *va_end) argument
238 uintptr_t va_start, va_end; local

Completed in 88 milliseconds