diff options
| author | Zhaozhong Ni <nzz@google.com> | 2018-08-01 15:42:07 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-08-01 15:43:24 -0700 |
| commit | b9e1cf8404ce1263176643dee1a1cc835c9d1448 (patch) | |
| tree | 5382c24abb8c19a50fe714af8bb83e1fff6eaa31 /pkg/sentry/kernel/time/time.go | |
| parent | 6b87378634e1575cf590b7558f19b40b012849c2 (diff) | |
stateify: convert all packages to use explicit mode.
PiperOrigin-RevId: 207007153
Change-Id: Ifedf1cc3758dc18be16647a4ece9c840c1c636c9
Diffstat (limited to 'pkg/sentry/kernel/time/time.go')
| -rw-r--r-- | pkg/sentry/kernel/time/time.go | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkg/sentry/kernel/time/time.go b/pkg/sentry/kernel/time/time.go index c223c2f19..6eadd2878 100644 --- a/pkg/sentry/kernel/time/time.go +++ b/pkg/sentry/kernel/time/time.go @@ -42,6 +42,8 @@ const ( // // Time may represent time with respect to any clock and may not have any // meaning in the real world. +// +// +stateify savable type Time struct { ns int64 } @@ -286,6 +288,8 @@ type TimerListener interface { } // Setting contains user-controlled mutable Timer properties. +// +// +stateify savable type Setting struct { // Enabled is true if the timer is running. Enabled bool @@ -371,6 +375,8 @@ func (s Setting) advancedTo(now Time) (Setting, uint64) { // // Timers should be created using NewTimer and must be cleaned up by calling // Timer.Destroy when no longer used. +// +// +stateify savable type Timer struct { // clock is the time source. clock is immutable. clock Clock |