debug.c 1.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758
  1. /*
  2. * Copyright (c) 2008 Travis Geiselbrecht
  3. *
  4. * Permission is hereby granted, free of charge, to any person obtaining
  5. * a copy of this software and associated documentation files
  6. * (the "Software"), to deal in the Software without restriction,
  7. * including without limitation the rights to use, copy, modify, merge,
  8. * publish, distribute, sublicense, and/or sell copies of the Software,
  9. * and to permit persons to whom the Software is furnished to do so,
  10. * subject to the following conditions:
  11. *
  12. * The above copyright notice and this permission notice shall be
  13. * included in all copies or substantial portions of the Software.
  14. *
  15. * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  16. * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  17. * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
  18. * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
  19. * CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
  20. * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
  21. * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  22. */
  23. #include <debug.h>
  24. #include <kernel/thread.h>
  25. #include <stdarg.h>
  26. #include <dev/uart.h>
  27. #include <platform/mt_uart.h>
  28. void _dputc(char c)
  29. {
  30. if (c == '\n')
  31. uart_putc('\r');
  32. uart_putc(c);
  33. }
  34. int dgetc(char *c, bool wait)
  35. {
  36. int _c;
  37. if ((_c = uart_getc()) < 0)
  38. return -1;
  39. *c = _c;
  40. return 0;
  41. }
  42. void platform_halt()
  43. {
  44. arch_disable_ints();
  45. for(;;);
  46. }
  47. uint32_t debug_cycle_count()
  48. {
  49. PANIC_UNIMPLEMENTED;
  50. }