pic32mzda.c 768 B

12345678910111213141516171819202122232425262728293031323334353637383940414243
  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. #include <common.h>
  10. #include <dm.h>
  11. #include <clk.h>
  12. #include <init.h>
  13. #include <malloc.h>
  14. #include <dt-bindings/clock/microchip,clock.h>
  15. #include <mach/pic32.h>
  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. printf("Core: %s\n", get_core_name());
  24. if (uclass_get_device(UCLASS_CLK, 0, &dev))
  25. return 0;
  26. clk.id = PB7CLK;
  27. ret = clk_request(dev, &clk);
  28. if (ret < 0)
  29. return 0;
  30. rate = clk_get_rate(&clk);
  31. printf("CPU Speed: %lu MHz\n", rate / 1000000);
  32. clk_free(&clk);
  33. return 0;
  34. }
  35. #endif