diff options
author | Jamie Liu <jamieliu@google.com> | 2019-04-08 16:31:06 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2019-04-08 16:32:11 -0700 |
commit | 9471c013483b0709479c51d470ac840621ae7d46 (patch) | |
tree | 651bfe7529c28e69320dbe1c9540250e103ba5db /pkg/sentry/usermem | |
parent | 218a7b54494b263001ed791ca13857c12d37ded6 (diff) |
Export kernel.SignalInfoPriv.
Also add kernel.SignalInfoNoInfo, and use it in RLIMIT_FSIZE checks.
PiperOrigin-RevId: 242562428
Change-Id: I4887c0e1c8f5fddcabfe6d4281bf76d2f2eafe90
Diffstat (limited to 'pkg/sentry/usermem')
0 files changed, 0 insertions, 0 deletions