summaryrefslogtreecommitdiff
path: root/build-aux/stack.c.gen
diff options
context:
space:
mode:
Diffstat (limited to 'build-aux/stack.c.gen')
-rwxr-xr-xbuild-aux/stack.c.gen16
1 files changed, 5 insertions, 11 deletions
diff --git a/build-aux/stack.c.gen b/build-aux/stack.c.gen
index c73a8bb..66d837a 100755
--- a/build-aux/stack.c.gen
+++ b/build-aux/stack.c.gen
@@ -504,6 +504,7 @@ class LibHWPlugin:
"rp2040_hwtimer_intrhandler",
"hostclock_handle_sig_alarm",
"hostnet_handle_sig_io",
+ "gpioirq_handler",
]
def extra_nodes(self) -> typing.Collection[Node]:
@@ -522,6 +523,10 @@ class LibHWPlugin:
"w5500_udp_alarm_handler",
]
return ret, False
+ if "/rp2040_gpioirq.c:" in loc and "handler->fn" in line:
+ return [
+ "w5500_intrhandler",
+ ], False
return None
def skip_call(self, chain: list[str], call: str) -> bool:
@@ -711,17 +716,14 @@ class LibMiscPlugin:
class PicoSDKPlugin:
- app_gpio_handlers: typing.Collection[str]
app_init_array: typing.Collection[str]
app_preinit_array: typing.Collection[str]
def __init__(
self,
*,
- app_gpio_handlers: typing.Collection[str],
app_init_array: typing.Collection[str],
) -> None:
- self.app_gpio_handlers = app_gpio_handlers
self.app_init_array = app_init_array
# git grep '^PICO_RUNTIME_INIT_FUNC\S*('
@@ -754,7 +756,6 @@ class PicoSDKPlugin:
def is_intrhandler(self, name: str) -> bool:
return name in [
- "gpio_default_irq_handler",
"isr_invalid",
"isr_nmi",
"isr_hardfault",
@@ -783,8 +784,6 @@ class PicoSDKPlugin:
return ["rom_hword_as_ptr(BOOTROM_TABLE_LOOKUP_OFFSET)"], False
if "/flash.c:" in loc and "boot2_copyout" in line:
return ["_stage2_boot"], False
- if "/gpio.c:" in loc and call == "callback":
- return sorted(self.app_gpio_handlers), False
if "/printf.c:" in loc:
if call == "out":
return [
@@ -1137,10 +1136,6 @@ def main(
lib9p_plugin = Lib9PPlugin(arg_base_dir, arg_c_fnames)
- sbc_gpio_handlers = [
- "w5500_intrhandler",
- ]
-
def sbc_is_thread(name: str) -> int:
if name.endswith("_cr") and name != "lib9p_srv_read_cr":
if "9p" in name:
@@ -1165,7 +1160,6 @@ def main(
if arg_pico_platform == "rp2040":
plugins += [
PicoSDKPlugin(
- app_gpio_handlers=sbc_gpio_handlers,
app_init_array=["register_fini"],
),
TinyUSBDevicePlugin(arg_c_fnames),