Rev 1757 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1757 | Rev 1760 | ||
---|---|---|---|
Line 77... | Line 77... | ||
77 | */ |
77 | */ |
78 | void clock_counter_init(void) |
78 | void clock_counter_init(void) |
79 | { |
79 | { |
80 | void *faddr; |
80 | void *faddr; |
81 | 81 | ||
82 | faddr = (void *)PFN2ADDR(frame_alloc(0, FRAME_ATOMIC)); |
82 | faddr = frame_alloc(0, FRAME_ATOMIC); |
83 | if (!faddr) |
83 | if (!faddr) |
84 | panic("Cannot allocate page for clock"); |
84 | panic("Cannot allocate page for clock"); |
85 | 85 | ||
86 | public_time = (struct ptime *)PA2KA(faddr); |
86 | public_time = (struct ptime *)PA2KA(faddr); |
87 | 87 |