Searched refs:vprintm (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.h63 void vprintm(const char *s, va_list args);
H A Dmtrap.c45 void vprintm(const char* s, va_list vl) function
57 vprintm(s, vl);
H A Dfdt.c712 vprintm(format, vl);

Completed in 31 milliseconds