system.h 888 B

12345678910111213141516171819202122232425262728293031
  1. /*
  2. * Copyright (c) 2011 Picochip Ltd., Jamie Iles
  3. *
  4. * This program is free software; you can redistribute it and/or modify
  5. * it under the terms of the GNU General Public License as published by
  6. * the Free Software Foundation; either version 2 of the License, or
  7. * (at your option) any later version.
  8. *
  9. * This program is distributed in the hope that it will be useful,
  10. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. * GNU General Public License for more details.
  13. */
  14. #ifndef __ASM_ARCH_SYSTEM_H
  15. #define __ASM_ARCH_SYSTEM_H
  16. static inline void arch_idle(void)
  17. {
  18. /*
  19. * This should do all the clock switching and wait for interrupt
  20. * tricks.
  21. */
  22. cpu_do_idle();
  23. }
  24. static inline void arch_reset(int mode, const char *cmd)
  25. {
  26. /* Watchdog reset to go here. */
  27. }
  28. #endif /* __ASM_ARCH_SYSTEM_H */