From 239900af293f192931391dc5579afab39a43e6c6 Mon Sep 17 00:00:00 2001 From: Aleksa Vuckovic Date: Sat, 25 Feb 2023 06:56:01 +0100 Subject: clang-format --- kernel/src/cpu/idt.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'kernel/src/cpu/idt.c') diff --git a/kernel/src/cpu/idt.c b/kernel/src/cpu/idt.c index 1b0fffb..9134d84 100644 --- a/kernel/src/cpu/idt.c +++ b/kernel/src/cpu/idt.c @@ -1,5 +1,4 @@ #include - #include #include @@ -8,17 +7,17 @@ idtp idt_pointer; void enable_interrupts(void) { - __asm__ __volatile__ ("sti;"); + __asm__ __volatile__("sti;"); } void disable_interrupts(void) { - __asm__ __volatile__ ("cli;"); + __asm__ __volatile__("cli;"); } -void load_idt(idtp* pointer) +void load_idt(idtp *pointer) { - __asm__ __volatile__ ("lidt (%0);" : : "r"(pointer) : ); + __asm__ __volatile__("lidt (%0);" : : "r"(pointer) :); } void add_to_idt(uint16_t num, uint64_t offset, uint16_t selector, uint8_t type) @@ -72,7 +71,8 @@ void init_idt_table(void) add_to_idt(32, (uint64_t)irq0, GDT_CODE_SEG, INTERRUPT_GATE); add_to_idt(33, (uint64_t)irq1, GDT_CODE_SEG, INTERRUPT_GATE); for (size_t i = 34; i < 256; i++) { - add_to_idt((uint16_t)i, (uint64_t)irq2, GDT_CODE_SEG, INTERRUPT_GATE); + add_to_idt((uint16_t)i, (uint64_t)irq2, GDT_CODE_SEG, + INTERRUPT_GATE); } } -- cgit v1.2.3