From 35782c6be1eee50e00b41eb3088cd50d2bd2366f Mon Sep 17 00:00:00 2001
From: "Luke T. Shumaker" <lukeshu@lukeshu.com>
Date: Tue, 12 Nov 2024 16:29:03 -0700
Subject: try to remove pico_time

---
 libhw/rp2040_hwtimer.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'libhw/rp2040_hwtimer.c')

diff --git a/libhw/rp2040_hwtimer.c b/libhw/rp2040_hwtimer.c
index 4499642..3116213 100644
--- a/libhw/rp2040_hwtimer.c
+++ b/libhw/rp2040_hwtimer.c
@@ -15,10 +15,10 @@
 #include <libhw/generic/alarmclock.h>
 #include <libhw/rp2040_hwtimer.h>
 
-/******************************************************************************/
+/* Guards *********************************************************************/
 
-/** Conflict with pico-sdk:pico_time:!PICO_TIME_DEFAULT_ALARM_POOL_DISABLED.  */
-void add_alarm_at(void) {};
+/** Conflict with pico-sdk:pico_time. */
+void alarm_pool_add_alarm_at_force_in_context(void) {};
 
 /* Types **********************************************************************/
 
-- 
cgit v1.2.3-2-g168b