Rev 2678 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2678 | Rev 3488 | ||
|---|---|---|---|
| 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; |