void JVMSPI_PrintRaw(const char* s) { #if ENABLE_PCSL pcsl_print(s); #else jvm_printf("%s", s); jvm_fflush(stdout); #endif }
int OsFile_flush(OsFile_Handle handle) { return jvm_fflush(handle); }