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