pico: rename the pixel-double irq handler

32blit-pico/display/dbi.cpp

diff --git a/32blit-pico/display/dbi.cpp b/32blit-pico/display/dbi.cpp
index 62c215c..1758101 100644
--- a/32blit-pico/display/dbi.cpp
+++ b/32blit-pico/display/dbi.cpp
@@ -84,7 +84,7 @@
 }
 
 // used for pixel doubling
-static void __isr dbi_dma_irq_handler() {
+static void __isr double_dma_irq_handler() {
   if(dma_channel_get_irq0_status(dma_channel)) {
     dma_channel_acknowledge_irq0(dma_channel);
 
@@ -439,7 +439,7 @@
   dma_channel_configure(
     dma_channel, &config, &pio->txf[pio_sm], frame_buffer, DISPLAY_WIDTH * DISPLAY_HEIGHT, false);
 
-  irq_add_shared_handler(DMA_IRQ_0, dbi_dma_irq_handler, PICO_SHARED_IRQ_HANDLER_DEFAULT_ORDER_PRIORITY);
+  irq_add_shared_handler(DMA_IRQ_0, double_dma_irq_handler, PICO_SHARED_IRQ_HANDLER_DEFAULT_ORDER_PRIORITY);
   irq_set_enabled(DMA_IRQ_0, true);
 
   clear();