board/microchip/pic32mzda/pic32mzda.c

   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
  17 int 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