Rev 2615 | Rev 2678 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2615 | Rev 2677 | ||
|---|---|---|---|
| Line 61... | Line 61... | ||
| 61 | void *mapping; |
61 | void *mapping; |
| 62 | 62 | ||
| 63 | printf("Kernel console output.\n"); |
63 | printf("Kernel console output.\n"); |
| 64 | 64 | ||
| 65 | mapping = as_get_mappable_page(PAGE_SIZE); |
65 | mapping = as_get_mappable_page(PAGE_SIZE); |
| 66 | res = ipc_call_sync_3_0(PHONE_NS, IPC_M_AS_AREA_RECV, |
66 | res = ipc_share_in_send_1_0(PHONE_NS, mapping, PAGE_SIZE, |
| 67 | (sysarg_t) mapping, PAGE_SIZE, SERVICE_MEM_KLOG); |
67 | SERVICE_MEM_KLOG); |
| 68 | if (res) { |
68 | if (res) { |
| 69 | printf("Failed to initialize klog memarea\n"); |
69 | printf("Failed to initialize klog memarea\n"); |
| 70 | _exit(1); |
70 | _exit(1); |
| 71 | } |
71 | } |
| 72 | klog = mapping; |
72 | klog = mapping; |