Changeset 253f35a1 in mainline for kernel/generic/src/ipc/irq.c

Timestamp:

2006-09-07T19:56:44Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

ab1ae2d9

Parents:

801579fe

Message:

sparc64 work.

• Changes to enable userspace keyboard drivers.
• Fix z8530 initialization (i.e. clear any pending Tx interrupts).
• Experimental support for framebuffers with inverted colors.

File:

• kernel/generic/src/ipc/irq.c (modified) (2 diffs)

kernel/generic/src/ipc/irq.c

@@ -56 +56 @@
 #include <syscall/copy.h>
 #include <console/console.h>
+#include <print.h>
 
 typedef struct {
@@ -68 +69 @@
 static int irq_conns_size;
 
-#include <print.h>
+
 /* Execute code associated with IRQ notification */
 static void code_execute(call_t *call, irq_code_t *code)