debug.c 1.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  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. #include "log_store_lk.h"
  29. void _dputc(char c)
  30. {
  31. if (c == '\n')
  32. uart_putc('\r');
  33. uart_putc(c);
  34. }
  35. int dgetc(char *c, bool wait)
  36. {
  37. int _c;
  38. if ((_c = uart_getc()) < 0)
  39. return -1;
  40. *c = _c;
  41. return 0;
  42. }
  43. void platform_halt()
  44. {
  45. arch_disable_ints();
  46. for(;;);
  47. }
  48. uint32_t debug_cycle_count()
  49. {
  50. PANIC_UNIMPLEMENTED;
  51. }