#include <irq/i8259a.h>
#include <stdint.h>
#include <mm/paging.h>
+#include <panic.h>
struct idt_descriptor idt[256] __attribute__((aligned(0x10)));
struct idtr idtr __attribute__((aligned(0x10)));
kprint(" Base | Length | Type | Attrib |\n", 0);
kprint("------------------------------------------------------------\n", 0);
for (int i=0; i<mmap_size; i++) {
- kprintq(mmap[i].base);
+ kprintq(mmap[i].base, 1);
kprintc('|', 0);
- kprintq(mmap[i].length);
+ kprintq(mmap[i].length, 1);
kprintc('|', 0);
- kprintd(mmap[i].type);
+ kprintd(mmap[i].type, 1);
kprintc('|', 0);
- kprintd(mmap[i].attrib);
+ kprintd(mmap[i].attrib, 1);
kprintc('|', 0);
kprintc('\n', 0);
}
/* Small handler for double faults. Will be put elsewhere eventually. */
int double_fault_handler(struct interrupt_frame *frame)
{
- kprint("PANIC: Double fault occurred!\n", VGA_COLOR_BRIGHT_RED);
- kprint("EAX: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->eax);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
- kprint("EBX: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->ebx);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
- kprint("ECX: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->ecx);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
- kprint("EDX: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->edx);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
- kprint("EBP: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->ebp);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
- kprint("ESP: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->esp);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
- kprint("ESI: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->esi);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
- kprint("EDI: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->edi);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
- kprint("EIP: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->eip);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
- kprint("EFLAGS: ", VGA_COLOR_BRIGHT_RED);
- kprintd(frame->eflags);
- kprint("\n", VGA_COLOR_BRIGHT_RED);
-
- /* IF has already been cleared for us */
- asm("cli");
-halt:
- asm("hlt");
- goto halt;
+ kprint("Double fault occurred!\n", VGA_COLOR_BRIGHT_RED);
+ kprint("EAX: ", 0);
+ kprintd(frame->eax, 1);
+ kprintc(' ', 0);
+ kprint("EBX: ", 0);
+ kprintd(frame->ebx, 1);
+ kprintc(' ', 0);
+ kprint("ECX: ", 0);
+ kprintd(frame->ecx, 1);
+ kprintc(' ', 0);
+ kprint("EDX: ", 0);
+ kprintd(frame->edx, 1);
+ kprintc('\n', 0);
+ kprint("EBP: ", 0);
+ kprintd(frame->ebp, 1);
+ kprintc(' ', 0);
+ kprint("ESP: ", 0);
+ kprintd(frame->esp, 1);
+ kprintc('\n', 0);
+ kprint("ESI: ", 0);
+ kprintd(frame->esi, 1);
+ kprintc(' ', 0);
+ kprint("EDI: ", 0);
+ kprintd(frame->edi, 1);
+ kprintc('\n', 0);
+ kprint("EIP: ", 0);
+ kprintd(frame->eip, 1);
+ kprintc(' ', 0);
+ kprint("EFLAGS: ", 0);
+ kprintd(frame->eflags, 1);
+ kprintc('\n', 0);
+ PANIC("double fault");
}
void kmain(struct e820_map *mmap, int mmap_size)