cc3200: Get bootloader compiling with changes to HAL.

dpgeorge · dpgeorge · commit ccf45a428333 · 2015-02-13T15:26:22.000Z
diff --git a/cc3200/hal/cc3200_hal.c b/cc3200/hal/cc3200_hal.c
@@ -133,7 +133,7 @@ void mp_hal_stdout_tx_str(const char *str) {
     mp_hal_stdout_tx_strn(str, strlen(str));
 }
 
-void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len) {
+void mp_hal_stdout_tx_strn(const char *str, uint32_t len) {
     if (MP_STATE_PORT(pyb_stdio_uart) != NULL) {
         uart_tx_strn(MP_STATE_PORT(pyb_stdio_uart), str, len);
     }
@@ -143,7 +143,7 @@ void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len) {
     }
 }
 
-void mp_hal_stdout_tx_strn_cooked(const char *str, mp_uint_t len) {
+void mp_hal_stdout_tx_strn_cooked(const char *str, uint32_t len) {
     // send stdout to UART
     if (MP_STATE_PORT(pyb_stdio_uart) != NULL) {
         uart_tx_strn_cooked(MP_STATE_PORT(pyb_stdio_uart), str, len);
diff --git a/cc3200/hal/cc3200_hal.h b/cc3200/hal/cc3200_hal.h
@@ -65,7 +65,7 @@ extern void mp_hal_set_interrupt_char (int c);
 
 int mp_hal_stdin_rx_chr(void);
 void mp_hal_stdout_tx_str(const char *str);
-void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len);
-void mp_hal_stdout_tx_strn_cooked(const char *str, mp_uint_t len);
+void mp_hal_stdout_tx_strn(const char *str, uint32_t len);
+void mp_hal_stdout_tx_strn_cooked(const char *str, uint32_t len);
 
 #endif /* CC3200_LAUNCHXL_HAL_CC3200_HAL_H_ */

Original file line number	Diff line number	Diff line change
`@@ -133,7 +133,7 @@ void mp_hal_stdout_tx_str(const char *str) {`
`133`	`133`	`mp_hal_stdout_tx_strn(str, strlen(str));`
`134`	`134`	`}`
`135`	`135`
`136`		`-void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len) {`
	`136`	`+void mp_hal_stdout_tx_strn(const char *str, uint32_t len) {`
`137`	`137`	`if (MP_STATE_PORT(pyb_stdio_uart) != NULL) {`
`138`	`138`	`uart_tx_strn(MP_STATE_PORT(pyb_stdio_uart), str, len);`
`139`	`139`	`}`
`@@ -143,7 +143,7 @@ void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len) {`
`143`	`143`	`}`
`144`	`144`	`}`
`145`	`145`
`146`		`-void mp_hal_stdout_tx_strn_cooked(const char *str, mp_uint_t len) {`
	`146`	`+void mp_hal_stdout_tx_strn_cooked(const char *str, uint32_t len) {`
`147`	`147`	`// send stdout to UART`
`148`	`148`	`if (MP_STATE_PORT(pyb_stdio_uart) != NULL) {`
`149`	`149`	`uart_tx_strn_cooked(MP_STATE_PORT(pyb_stdio_uart), str, len);`