Rev 3112 | Rev 3761 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3112 | Rev 3115 | ||
|---|---|---|---|
| Line 48... | Line 48... | ||
| 48 | #define KLOG_SIZE PAGE_SIZE |
48 | #define KLOG_SIZE PAGE_SIZE |
| 49 | 49 | ||
| 50 | /* Pointer to klog area */ |
50 | /* Pointer to klog area */ |
| 51 | static char *klog; |
51 | static char *klog; |
| 52 | 52 | ||
| - | 53 | static void console_wait(void) |
|
| - | 54 | { |
|
| - | 55 | while (get_cons_phone() < 0) |
|
| - | 56 | usleep(50000); // FIXME |
|
| - | 57 | } |
|
| - | 58 | ||
| 53 | static void interrupt_received(ipc_callid_t callid, ipc_call_t *call) |
59 | static void interrupt_received(ipc_callid_t callid, ipc_call_t *call) |
| 54 | { |
60 | { |
| 55 | async_serialize_start(); |
61 | async_serialize_start(); |
| 56 | 62 | ||
| 57 | size_t klog_start = (size_t) IPC_GET_ARG1(*call); |
63 | size_t klog_start = (size_t) IPC_GET_ARG1(*call); |
| Line 64... | Line 70... | ||
| 64 | async_serialize_end(); |
70 | async_serialize_end(); |
| 65 | } |
71 | } |
| 66 | 72 | ||
| 67 | int main(int argc, char *argv[]) |
73 | int main(int argc, char *argv[]) |
| 68 | { |
74 | { |
| - | 75 | console_wait(); |
|
| - | 76 | ||
| 69 | klog = (char *) as_get_mappable_page(KLOG_SIZE); |
77 | klog = (char *) as_get_mappable_page(KLOG_SIZE); |
| 70 | if (klog == NULL) { |
78 | if (klog == NULL) { |
| 71 | printf(NAME ": Error allocating memory area\n"); |
79 | printf(NAME ": Error allocating memory area\n"); |
| 72 | return -1; |
80 | return -1; |
| 73 | } |
81 | } |