2018-06-30 01:03:40 +02:00
|
|
|
#include "exception.h"
|
|
|
|
#include "vga.h"
|
|
|
|
|
|
|
|
// Need GCC > 6
|
2018-07-18 15:35:49 +02:00
|
|
|
__attribute__((interrupt)) void print_handler(struct interrupt_frame *frame, ulong error_code)
|
|
|
|
{
|
2018-06-30 01:03:40 +02:00
|
|
|
|
2018-07-18 15:35:49 +02:00
|
|
|
printStringDetails("EXCEPTION", RED, BLACK, 0, VGA_HEIGHT - 1);
|
|
|
|
printIntDetails(error_code, RED, BLACK, 11, VGA_HEIGHT - 1);
|
|
|
|
(void)frame;
|
|
|
|
(void)error_code;
|
2018-06-30 01:03:40 +02:00
|
|
|
}
|