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 /tools/images/ubuntu1804 | |
| 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 'tools/images/ubuntu1804')
0 files changed, 0 insertions, 0 deletions