ao_serial: Change serial_sleep_for APIs to use AO_TICK_TYPE

These timeouts should all be short, but there's no reason to use a
different type.

Signed-off-by: Keith Packard <keithp@keithp.com>

diff --git a/src/kernel/ao_serial.h b/src/kernel/ao_serial.h
index 3500a0933d80b268898656fb123b212d5c6ff65c..2bf71015254690f03d7cbb7a57aca3f1f86678fa 100644 (file)
--- a/src/kernel/ao_serial.h
+++ b/src/kernel/ao_serial.h
@@ -36,7 +36,7 @@ int
 _ao_serial0_pollchar(void);
 
 uint8_t
-_ao_serial0_sleep_for(uint16_t timeout);
+_ao_serial0_sleep_for(AO_TICK_TYPE timeout);
 
 void
 ao_serial0_putchar(char c);
@@ -59,7 +59,7 @@ int
 _ao_serial1_pollchar(void);
 
 uint8_t
-_ao_serial1_sleep_for(uint16_t timeout);
+_ao_serial1_sleep_for(AO_TICK_TYPE timeout);
 
 void
 ao_serial1_putchar(char c);
@@ -82,7 +82,7 @@ int
 _ao_serial2_pollchar(void);
 
 uint8_t
-_ao_serial2_sleep_for(uint16_t timeout);
+_ao_serial2_sleep_for(AO_TICK_TYPE timeout);
 
 void
 ao_serial2_putchar(char c);
@@ -105,7 +105,7 @@ int
 _ao_serial3_pollchar(void);
 
 uint8_t
-_ao_serial3_sleep_for(uint16_t timeout);
+_ao_serial3_sleep_for(AO_TICK_TYPE timeout);
 
 void
 ao_serial3_putchar(char c);