Rev 1787 | Rev 2015 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1787 | Rev 1923 | ||
---|---|---|---|
Line 38... | Line 38... | ||
38 | #include <ipc/ipc.h> |
38 | #include <ipc/ipc.h> |
39 | #include <async.h> |
39 | #include <async.h> |
40 | #include <ipc/services.h> |
40 | #include <ipc/services.h> |
41 | #include <as.h> |
41 | #include <as.h> |
42 | #include <kernel/ipc/irq.h> |
42 | #include <kernel/ipc/irq.h> |
- | 43 | #include <sysinfo.h> |
|
43 | 44 | ||
44 | /* Pointer to klog area */ |
45 | /* Pointer to klog area */ |
45 | static char *klog; |
46 | static char *klog; |
46 | 47 | ||
47 | static void interrupt_received(ipc_callid_t callid, ipc_call_t *call) |
48 | static void interrupt_received(ipc_callid_t callid, ipc_call_t *call) |
Line 70... | Line 71... | ||
70 | printf("Failed to initialize klog memarea\n"); |
71 | printf("Failed to initialize klog memarea\n"); |
71 | _exit(1); |
72 | _exit(1); |
72 | } |
73 | } |
73 | klog = mapping; |
74 | klog = mapping; |
74 | 75 | ||
- | 76 | int inr = sysinfo_value("klog.inr"); |
|
- | 77 | int devno = sysinfo_value("klog.devno"); |
|
75 | if (ipc_register_irq(IPC_IRQ_KLOG, NULL)) { |
78 | if (ipc_register_irq(inr, devno, 0, NULL)) { |
76 | printf("Error registering for klog service.\n"); |
79 | printf("Error registering for klog service.\n"); |
77 | return 0; |
80 | return 0; |
78 | } |
81 | } |
79 | 82 | ||
80 | async_set_interrupt_received(interrupt_received); |
83 | async_set_interrupt_received(interrupt_received); |