From 2ce695750a2bf9f3f8dec801c93e0351e5ff859b Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sat, 11 Jul 2015 10:19:29 +0200 Subject: [PATCH] some code cleanups --- hermit/arch/x86/kernel/irq.c | 3 ++- hermit/arch/x86/kernel/processor.c | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/hermit/arch/x86/kernel/irq.c b/hermit/arch/x86/kernel/irq.c index b029488cc..4f7f890d7 100644 --- a/hermit/arch/x86/kernel/irq.c +++ b/hermit/arch/x86/kernel/irq.c @@ -251,6 +251,8 @@ size_t** irq_handler(struct state *s) handler = irq_routines[s->int_no]; if (handler) handler(s); + else + kprintf("Unhandle IRQ %d\n", s->int_no); } else kprintf("Invalid interrupt number %d\n", s->int_no); // timer interrupt? @@ -258,7 +260,6 @@ size_t** irq_handler(struct state *s) ret = scheduler(); // switch to a new task else if ((s->int_no >= 32) && (get_highest_priority() > per_core(current_task)->prio)) ret = scheduler(); - else kprintf("Receive IRQ %d\n", s->int_no); apic_eoi(s->int_no); diff --git a/hermit/arch/x86/kernel/processor.c b/hermit/arch/x86/kernel/processor.c index 666acaab8..e12eab004 100644 --- a/hermit/arch/x86/kernel/processor.c +++ b/hermit/arch/x86/kernel/processor.c @@ -197,7 +197,7 @@ int cpu_detection(void) { cr4 = read_cr4(); if (has_fxsr()) - cr4 |= CR4_OSFXSR; // set the OSFXSR bit + cr4 |= CR4_OSFXSR; // set the OSFXSR bit if (has_sse()) cr4 |= CR4_OSXMMEXCPT; // set the OSXMMEXCPT bit if (has_xsave()) @@ -243,7 +243,7 @@ int cpu_detection(void) { asm volatile ("fninit"); } - if (first_time) { + if (first_time) { kprintf("CPU features: %s%s%s%s%s%s%s%s%s%s%s%s%s\n", has_sse() ? "SSE " : "", has_sse2() ? "SSE2 " : "",