1 /*
2  * Microchip PIC32MZ[DA] Starter Kit board
3  *
4  * Copyright (C) 2015, Microchip Technology Inc.
5  * Purna Chandra Mandal <purna.mandal@microchip.com>
6  *
7  * SPDX-License-Identifier:	GPL-2.0+
8  *
9  */
10 
11 #include <common.h>
12 #include <dm.h>
13 #include <clk.h>
14 #include <dt-bindings/clock/microchip,clock.h>
15 #include <mach/pic32.h>
16 
17 #ifdef CONFIG_DISPLAY_BOARDINFO
18 int checkboard(void)
19 {
20 	ulong rate;
21 	struct udevice *dev;
22 	struct clk clk;
23 	int ret;
24 
25 	printf("Core: %s\n", get_core_name());
26 
27 	if (uclass_get_device(UCLASS_CLK, 0, &dev))
28 		return 0;
29 
30 	clk.id = PB7CLK;
31 	ret = clk_request(dev, &clk);
32 	if (ret < 0)
33 		return 0;
34 
35 	rate = clk_get_rate(&clk);
36 	printf("CPU Speed: %lu MHz\n", rate / 1000000);
37 
38 	clk_free(&clk);
39 
40 	return 0;
41 }
42 #endif
43