Misc patches

32blit-pico/board/vgaboard/config.cmake

@@ -1,6 +1,7 @@
 set(BLIT_BOARD_NAME "VGA Board")
 
 set(BLIT_BOARD_DEFINITIONS
+    PICO_AUDIO_I2S_BUFFER_SAMPLE_LENGTH=256
     PICO_SCANVIDEO_PLANE1_VARIABLE_FRAGMENT_DMA=1
     PICO_SCANVIDEO_MAX_SCANLINE_BUFFER_WORDS=12
 )

32blit-pico/display_scanvideo.cpp

@@ -13,9 +13,6 @@ static volatile int buf_index = 0;
 
 static volatile bool do_render = true;
 
-// user render function
-void render(uint32_t);
-
 static bool do_render_soon = false; // slightly delayed to handle the queue
 
 static void fill_scanline_buffer(struct scanvideo_scanline_buffer *buffer) {

32blit-pico/main.cpp

@@ -32,7 +32,9 @@ static uint32_t random() {
 }
 
 static void debug(const char *message) {
-  fputs(message, stdout);
+  auto p = message;
+  while(*p)
+    putchar(*p++);
 
   usb_debug(message);
 }

32blit-sdl/Audio.cpp

@@ -9,6 +9,8 @@
 
 blit::AudioChannel channels[CHANNEL_COUNT];
 
+static void _audio_callback(void *userdata, uint8_t *stream, int len);
+
 Audio::Audio() {
     blit::api.channels = channels;
 
@@ -35,14 +37,14 @@ Audio::~Audio() {
     SDL_CloseAudioDevice(audio_device);
 }
 
-void _audio_bufferfill(short *buffer, int buffer_size){
+static void _audio_bufferfill(short *buffer, int buffer_size){
     memset(buffer, 0, buffer_size);
 
     for(auto sample = 0; sample < buffer_size; sample++){
         buffer[sample] = (int)blit::get_audio_frame() - 0x8000;
     }
 }
 
-void _audio_callback(void *userdata, uint8_t *stream, int len){
+static void _audio_callback(void *userdata, uint8_t *stream, int len){
     _audio_bufferfill((short *)stream, len / 2);
 }

32blit-sdl/Audio.hpp

@@ -8,6 +8,3 @@ class Audio {
 
         SDL_AudioDeviceID audio_device;
 };
-
-void _audio_bufferfill(short *pBuffer, int pBufferSize);
-void _audio_callback(void *userdata, uint8_t *stream, int len);