Rev 1547 | Rev 1653 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1547 | Rev 1596 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | #include <stdio.h> |
32 | #include <stdio.h> |
33 | #include <arch/barrier.h> |
33 | #include <arch/barrier.h> |
34 | #include <unistd.h> |
34 | #include <unistd.h> |
35 | #include <atomic.h> |
35 | #include <atomic.h> |
36 | #include <futex.h> |
36 | #include <futex.h> |
- | 37 | #include <ipc/services.h> |
|
37 | 38 | ||
38 | #include <sysinfo.h> |
39 | #include <sysinfo.h> |
39 | #include <as.h> |
40 | #include <as.h> |
40 | #include <ddi.h> |
41 | #include <ddi.h> |
41 | 42 | ||
Line 65... | Line 66... | ||
65 | 66 | ||
66 | if (!ktime) { |
67 | if (!ktime) { |
67 | mapping = as_get_mappable_page(PAGE_SIZE); |
68 | mapping = as_get_mappable_page(PAGE_SIZE); |
68 | /* Get the mapping of kernel clock */ |
69 | /* Get the mapping of kernel clock */ |
69 | res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, |
70 | res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, |
70 | mapping, PAGE_SIZE, 0, |
71 | mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, |
71 | NULL,&rights,NULL); |
72 | NULL,&rights,NULL); |
72 | if (res) { |
73 | if (res) { |
73 | printf("Failed to initialize timeofday memarea\n"); |
74 | printf("Failed to initialize timeofday memarea\n"); |
74 | _exit(1); |
75 | _exit(1); |
75 | } |
76 | } |