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 | } |