Mirrors/libhermit
1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00
Code Issues Releases Wiki Activity

some code cleanups

Browse source
This commit is contained in:
Stefan Lankes 2015-07-11 10:19:29 +02:00
parent 2f97bcfecb
commit 2ce695750a
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
hermit/arch/x86/kernel/irq.c
View file

@ -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);

4
hermit/arch/x86/kernel/processor.c
View file

@ -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 " : "",