diff options
author | Nicolas Lacasse <nlacasse@google.com> | 2020-03-26 13:45:02 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-03-26 13:49:59 -0700 |
commit | e466ab04a20731ebeb8a9725d808def975d4c88d (patch) | |
tree | 4402fe0a4b110f5555920eff5dc442f511b17755 /pkg/sentry/arch | |
parent | 01ac53099fedf7dd5da01a50e60f3dfa2eb17892 (diff) |
Add unique ID to Mount type.
Analagous to Linux's mount.mnt_id. This ID is displayed in
/proc/[pid]/mountinfo.
PiperOrigin-RevId: 303185564
Diffstat (limited to 'pkg/sentry/arch')
0 files changed, 0 insertions, 0 deletions