pic32mzda.c 750 B

123456789101112131415161718192021222324252627282930313233343536373839404142
  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 <malloc.h>
  13. #include <dt-bindings/clock/microchip,clock.h>
  14. #include <mach/pic32.h>
  15. #ifdef CONFIG_DISPLAY_BOARDINFO
  16. int checkboard(void)
  17. {
  18. ulong rate;
  19. struct udevice *dev;
  20. struct clk clk;
  21. int ret;
  22. printf("Core: %s\n", get_core_name());
  23. if (uclass_get_device(UCLASS_CLK, 0, &dev))
  24. return 0;
  25. clk.id = PB7CLK;
  26. ret = clk_request(dev, &clk);
  27. if (ret < 0)
  28. return 0;
  29. rate = clk_get_rate(&clk);
  30. printf("CPU Speed: %lu MHz\n", rate / 1000000);
  31. clk_free(&clk);
  32. return 0;
  33. }
  34. #endif