Rev 2677 | Rev 3115 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2677 | Rev 2678 | ||
---|---|---|---|
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_share_in_send_1_0(PHONE_NS, mapping, PAGE_SIZE, |
66 | res = ipc_share_in_start_1_0(PHONE_NS, mapping, PAGE_SIZE, |
67 | 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 | } |