Rev 3343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3343 | Rev 3492 | ||
---|---|---|---|
Line 45... | Line 45... | ||
45 | 45 | ||
46 | #include <sysinfo.h> |
46 | #include <sysinfo.h> |
47 | #include <as.h> |
47 | #include <as.h> |
48 | #include <ddi.h> |
48 | #include <ddi.h> |
49 | 49 | ||
- | 50 | #include <time.h> |
|
- | 51 | ||
50 | /* Pointers to public variables with time */ |
52 | /* Pointers to public variables with time */ |
51 | struct { |
53 | struct { |
52 | volatile sysarg_t seconds1; |
54 | volatile sysarg_t seconds1; |
53 | volatile sysarg_t useconds; |
55 | volatile sysarg_t useconds; |
54 | volatile sysarg_t seconds2; |
56 | volatile sysarg_t seconds2; |