exception.h 1.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940
  1. /*
  2. * exception.h
  3. *
  4. * Copyright (C) 2015 Aleksandar Andrejevic <theflash@sdf.lonestar.org>
  5. *
  6. * This program is free software: you can redistribute it and/or modify
  7. * it under the terms of the GNU Affero General Public License as
  8. * published by the Free Software Foundation, either version 3 of the
  9. * License, or (at your option) any later version.
  10. *
  11. * This program is distributed in the hope that it will be useful,
  12. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  14. * GNU Affero General Public License for more details.
  15. *
  16. * You should have received a copy of the GNU Affero General Public License
  17. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  18. */
  19. #ifndef _EXCEPTION_H_
  20. #define _EXCEPTION_H_
  21. #define __MONOLITIHUM_KERNEL_MODE__
  22. #include <common.h>
  23. #include <interrupt.h>
  24. #include <sdk/exception.h>
  25. #include <thread.h>
  26. #define KERNEL_CRASH(message) kernel_crash((message), NULL, __FILE__, __LINE__)
  27. #define KERNEL_CRASH_WITH_REGS(message, regs) kernel_crash((message), (regs), __FILE__, __LINE__)
  28. #define ASSERT(test) (test) ? 0 : KERNEL_CRASH("Assertion \"" #test "\" failed");
  29. extern void __attribute__((noreturn)) exception_return(registers_t regs);
  30. extern int __attribute__((returns_twice)) save_kernel_handler(exception_handler_t *old_handler);
  31. void __attribute__((noreturn)) kernel_crash(const char *message, registers_t *regs, const char *filename, int line);
  32. void exceptions_init();
  33. #endif