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

/seL4-refos-master/kernel/src/arch/arm/api/
H A Dfaults.c38 word_t ipa, va; local
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dcommon.c82 seL4_Word va; local
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dcommon.c82 seL4_Word va; local
/seL4-refos-master/libs/libutils/src/
H A Dzf_log.c433 va_list va; local
447 va_list va; local
350 put_msg(zf_log_output_ctx *const ctx, const char *const fmt, va_list va) argument
463 va_list va; local
479 va_list va; local
[all...]
/seL4-refos-master/projects/util_libs/libutils/src/
H A Dzf_log.c433 va_list va; local
447 va_list va; local
350 put_msg(zf_log_output_ctx *const ctx, const char *const fmt, va_list va) argument
463 va_list va; local
479 va_list va; local
[all...]

Completed in 41 milliseconds