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