Rev 3694 | Rev 4343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3694 | Rev 4339 | ||
|---|---|---|---|
| Line 77... | Line 77... | ||
| 77 | { |
77 | { |
| 78 | void *faddr; |
78 | void *faddr; |
| 79 | 79 | ||
| 80 | faddr = frame_alloc(ONE_FRAME, FRAME_ATOMIC); |
80 | faddr = frame_alloc(ONE_FRAME, FRAME_ATOMIC); |
| 81 | if (!faddr) |
81 | if (!faddr) |
| 82 | panic("Cannot allocate page for clock"); |
82 | panic("Cannot allocate page for clock."); |
| 83 | 83 | ||
| 84 | uptime = (uptime_t *) PA2KA(faddr); |
84 | uptime = (uptime_t *) PA2KA(faddr); |
| 85 | 85 | ||
| 86 | uptime->seconds1 = 0; |
86 | uptime->seconds1 = 0; |
| 87 | uptime->seconds2 = 0; |
87 | uptime->seconds2 = 0; |