Rev 2927 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2927 | Rev 2959 | ||
|---|---|---|---|
| Line 143... | Line 143... | ||
| 143 | /* Get the mapping of kernel clock */ |
143 | /* Get the mapping of kernel clock */ |
| 144 | res = ipc_share_in_start_1_1(PHONE_NS, mapping, PAGE_SIZE, |
144 | res = ipc_share_in_start_1_1(PHONE_NS, mapping, PAGE_SIZE, |
| 145 | SERVICE_MEM_REALTIME, &rights); |
145 | SERVICE_MEM_REALTIME, &rights); |
| 146 | if (res) { |
146 | if (res) { |
| 147 | printf("Failed to initialize timeofday memarea\n"); |
147 | printf("Failed to initialize timeofday memarea\n"); |
| - | 148 | printf("Address was 0x%x\n", (unsigned)mapping); |
|
| 148 | _exit(1); |
149 | _exit(1); |
| 149 | } |
150 | } |
| 150 | if (!(rights & AS_AREA_READ)) { |
151 | if (!(rights & AS_AREA_READ)) { |
| 151 | printf("Received bad rights on time area: %X\n", |
152 | printf("Received bad rights on time area: %X\n", |
| 152 | rights); |
153 | rights); |