diff options
| author | Zhaozhong Ni <nzz@google.com> | 2018-08-02 10:41:44 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-08-02 10:42:48 -0700 |
| commit | 57d0fcbdbf7e9d2d573ce8d4ca2f72b82f778d63 (patch) | |
| tree | 7d09abd7209c47ea68471588531bc06ff4f8655c /pkg/sentry/kernel/time/time.go | |
| parent | cf44aff6e08b0e19935d5cd98455b4af98fd8794 (diff) | |
Automated rollback of changelist 207037226
PiperOrigin-RevId: 207125440
Change-Id: I6c572afb4d693ee72a0c458a988b0e96d191cd49
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 |