diff --git a/watch-library/hardware/watch/watch_private.c b/watch-library/hardware/watch/watch_private.c
index d42eec4f..da593f50 100644
--- a/watch-library/hardware/watch/watch_private.c
+++ b/watch-library/hardware/watch/watch_private.c
@@ -32,9 +32,8 @@ void _watch_init(void) {
     watch_disable_digital_output(GPIO(GPIO_PORTA, 20));
 
     // disable debugger hot-plugging
-    gpio_set_pin_function(SWCLK, GPIO_PIN_FUNCTION_OFF);
-    gpio_set_pin_direction(SWCLK, GPIO_DIRECTION_OFF);
-    gpio_set_pin_pull_mode(SWCLK, GPIO_PULL_OFF);
+    HAL_GPIO_SWCLK_pmuxdis();
+    HAL_GPIO_SWCLK_off();
 
     // RAM should be back-biased in STANDBY
     PM->STDBYCFG.bit.BBIASHS = 1;