Rev 4495 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4495 | Rev 4521 | ||
|---|---|---|---|
| Line 50... | Line 50... | ||
| 50 | static wchar_t *klog; |
50 | static wchar_t *klog; |
| 51 | static size_t klog_length; |
51 | static size_t klog_length; |
| 52 | 52 | ||
| 53 | static void interrupt_received(ipc_callid_t callid, ipc_call_t *call) |
53 | static void interrupt_received(ipc_callid_t callid, ipc_call_t *call) |
| 54 | { |
54 | { |
| 55 | async_serialize_start(); |
- | |
| 56 | - | ||
| 57 | size_t klog_start = (size_t) IPC_GET_ARG1(*call); |
55 | size_t klog_start = (size_t) IPC_GET_ARG1(*call); |
| 58 | size_t klog_len = (size_t) IPC_GET_ARG2(*call); |
56 | size_t klog_len = (size_t) IPC_GET_ARG2(*call); |
| 59 | size_t klog_stored = (size_t) IPC_GET_ARG3(*call); |
57 | size_t klog_stored = (size_t) IPC_GET_ARG3(*call); |
| 60 | size_t i; |
58 | size_t i; |
| 61 | 59 | ||
| 62 | for (i = klog_len - klog_stored; i < klog_len; i++) |
60 | for (i = klog_len - klog_stored; i < klog_len; i++) |
| 63 | putchar(klog[(klog_start + i) % klog_length]); |
61 | putchar(klog[(klog_start + i) % klog_length]); |
| 64 | - | ||
| 65 | async_serialize_end(); |
- | |
| 66 | } |
62 | } |
| 67 | 63 | ||
| 68 | int main(int argc, char *argv[]) |
64 | int main(int argc, char *argv[]) |
| 69 | { |
65 | { |
| 70 | size_t klog_pages = sysinfo_value("klog.pages"); |
66 | size_t klog_pages = sysinfo_value("klog.pages"); |