/* Helper function for the cn0415_status_pid(). Display the frequency of the update for the PID controller. */
static void cn0415_status_pid_frequency(struct cn0415_dev *dev)
/* Helper function for the cn0415_status_pid(). Display the frequency of the update for the PID controller. */
static void cn0415_status_pid_frequency(struct cn0415_dev *dev)
{
	uint8_t buffer[20];
	itoa(dev->controller->f_loop, (char *)buffer, 10);
	usr_uart_write_string(dev->aducm3029_uart_desc,
			      (uint8_t*)"    PID loop frequency: ");
	usr_uart_write_string(dev->aducm3029_uart_desc, (uint8_t*)buffer);
	usr_uart_write_string(dev->aducm3029_uart_desc, (uint8_t*)"Hz\n");
}