Rev 3680 | Rev 3908 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3680 | Rev 3790 | ||
---|---|---|---|
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; |