diff options
| author | Aleksa Vuckovic <aleksa@vuckovic.cc> | 2023-02-25 06:56:01 +0100 |
|---|---|---|
| committer | Aleksa Vuckovic <aleksa@vuckovic.cc> | 2023-02-25 08:45:09 +0100 |
| commit | 239900af293f192931391dc5579afab39a43e6c6 (patch) | |
| tree | 72d7f87ee6adf5aa84b78436197e03e61fba8d97 /kernel/src/cpu/irq.c | |
| parent | aaa23fffd02fb49cdbc56a480dbb5a8fa95bff38 (diff) | |
clang-format
Diffstat (limited to 'kernel/src/cpu/irq.c')
| -rw-r--r-- | kernel/src/cpu/irq.c | 38 |
1 files changed, 18 insertions, 20 deletions
diff --git a/kernel/src/cpu/irq.c b/kernel/src/cpu/irq.c index e5f811c..5eadd39 100644 --- a/kernel/src/cpu/irq.c +++ b/kernel/src/cpu/irq.c @@ -1,6 +1,5 @@ #include <types.h> #include <irq_handler.h> - #include <pic.h> #include <io.h> #include <keyboard.h> @@ -13,7 +12,7 @@ #define PIT 0 -const char* const exception_name[] = { +const char *const exception_name[] = { "Divide-by-zero Error", "Debug", "Non-maskable Interrupt", @@ -50,13 +49,13 @@ const char* const exception_name[] = { void isr_def_handler(uint64_t number, uint64_t error) { - switch(number) { - case 14: - printf("%s, error: 0x%x\n", exception_name[14], error); - page_fault(error); - break; - default: - panic("%s, error: 0x%x\n", exception_name[number], error); + switch (number) { + case 14: + printf("%s, error: 0x%x\n", exception_name[14], error); + page_fault(error); + break; + default: + panic("%s, error: 0x%x\n", exception_name[number], error); } } @@ -76,17 +75,16 @@ void eoi(uint64_t number) void irq_def_handler(uint64_t number) { - switch(number) - { - case 0: - timer_handler(); - break; - case 1: - keyboard_handler(); - break; - default: - printf("spurious interrupt\n"); - break; + switch (number) { + case 0: + timer_handler(); + break; + case 1: + keyboard_handler(); + break; + default: + printf("spurious interrupt\n"); + break; } eoi(number); } |