diff options
| author | Zhaozhong Ni <nzz@google.com> | 2018-06-20 11:01:32 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-06-20 11:02:41 -0700 |
| commit | 4e9f0e91d724b547e1ecaeeb210017f4c0b3fd0d (patch) | |
| tree | cb9ad8f86c410ae08abb66e851be4bf97c201893 /pkg/sentry/kernel/time | |
| parent | 5397963b5d4d57bd3d3668df880b5314ca2fc3d8 (diff) | |
sentry: pending signals S/R optimization.
Almost all of the hundreds of pending signal queues are empty upon save.
PiperOrigin-RevId: 201380318
Change-Id: I40747072435299de681d646e0862efac0637e172
Diffstat (limited to 'pkg/sentry/kernel/time')
0 files changed, 0 insertions, 0 deletions