/* Helper function for the cn0415_status_pid(). Display the Ki constant for the PID controller. */
static void cn0415_status_pid_ki(struct cn0415_dev *dev)
/* Helper function for the cn0415_status_pid(). Display the Ki constant for the PID controller. */
static void cn0415_status_pid_ki(struct cn0415_dev *dev)
{
	uint8_t buffer[20];
	cn0415_ftoa((uint8_t*)buffer, dev->controller->ki);
	usr_uart_write_string(dev->aducm3029_uart_desc,
			      (uint8_t*)"    PID Ki: ");
	usr_uart_write_string(dev->aducm3029_uart_desc, (uint8_t*)buffer);
	usr_uart_write_string(dev->aducm3029_uart_desc, (uint8_t*)"\n");
}