Searched defs:va_start (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Dvargs.h21 #define va_start(ap, parmN) __builtin_va_start(ap, parmN) macro
/seL4-test-master/kernel/include/
H A Dstdarg.h9 #define va_start(v,l) __builtin_va_start(v,l) macro
/seL4-test-master/projects/musllibc/include/
H A Dstdarg.h12 #define va_start(v,l) __builtin_va_start(v,l) macro
/seL4-test-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 77 milliseconds