debug.h 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  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. #ifndef __PLATFORM_DEBUG_H
  24. #define __PLATFORM_DEBUG_H
  25. #include <sys/types.h>
  26. #include <stdarg.h>
  27. #include <compiler.h>
  28. #if defined(__cplusplus)
  29. extern "C" {
  30. #endif
  31. void debug_dump_regs(void);
  32. void debug_dump_memory_bytes(void *mem, int len);
  33. void debug_dump_memory_halfwords(void *mem, int len);
  34. void debug_dump_memory_words(void *mem, int len);
  35. void debug_set_trace_level(int trace_type, int level);
  36. void platform_halt(void) __NO_RETURN;
  37. #if defined(__cplusplus)
  38. }
  39. #endif
  40. #endif