Searched refs:stdio_semihosting_deinit (Results 1 – 3 of 3) sorted by relevance
43 void stdio_semihosting_deinit(void);
75 void stdio_semihosting_deinit(void) { in stdio_semihosting_deinit() function
240 stdio_semihosting_deinit(); in stdio_deinit_all()
