From b9de7873ac9d7b42d8ac2fe361a749400f6a44b7 Mon Sep 17 00:00:00 2001
From: Graham Sanderson <graham.sanderson@raspberrypi.com>
Date: Fri, 23 Aug 2024 10:44:07 -0500
Subject: [PATCH] case nit

---
 src/rp2_common/hardware_gpio/gpio.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rp2_common/hardware_gpio/gpio.c b/src/rp2_common/hardware_gpio/gpio.c
index 87b68e136..44c39e9c4 100644
--- a/src/rp2_common/hardware_gpio/gpio.c
+++ b/src/rp2_common/hardware_gpio/gpio.c
@@ -188,7 +188,7 @@ void gpio_set_irq_enabled(uint gpio, uint32_t events, bool enabled) {
     // or callback should already be set (raw or using gpio_set_irq_callback)
     // this protects against enabling the interrupt without callback set
     assert(!enabled
-                || (raw_irq_mask[get_core_num()] & (1ULL<<gpio))
+                || (raw_irq_mask[get_core_num()] & (1ull<<gpio))
                 || callbacks[get_core_num()]);
 
     // Separate mask/force/status per-core, so check which core called, and