Rev 4495 | Show entire file | Regard 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"); |