use gossamer GPIO calls here

diff --git a/watch-library/hardware/watch/watch_private.c b/watch-library/hardware/watch/watch_private.c
index d42eec4f23b59a153e90415eaac9fdd9b07a314f..da593f50643df1f4bb1bbcbd4abfe9271465bdeb 100644 (file)
--- 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;