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

/seL4-refos-master/seL4_tools/elfloader-tool/include/
H A Dvargs.h20 #define va_end(ap) __builtin_va_end(ap) macro
/seL4-refos-master/tools/elfloader/include/
H A Dvargs.h20 #define va_end(ap) __builtin_va_end(ap) macro
/seL4-refos-master/kernel/include/
H A Dstdarg.h11 #define va_end(v) __builtin_va_end(v) macro
/seL4-refos-master/libs/libmuslc/include/
H A Dstdarg.h13 #define va_end(v) __builtin_va_end(v) macro
/seL4-refos-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
/seL4-refos-master/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 48 milliseconds