diff options
| author | Al Viro <viro@zeniv.linux.org.uk> | 2025-06-28 06:27:48 +0300 |
|---|---|---|
| committer | Al Viro <viro@zeniv.linux.org.uk> | 2025-06-30 02:03:30 +0300 |
| commit | 0a10217e5cf82835b63875752b57f01bba0bf5b6 (patch) | |
| tree | bef71b817889405da4422506bf46aadc644b0b55 /scripts/gdb/linux/interrupts.py | |
| parent | bc88530a20b1d5c78288ef5383d10b66d3242c48 (diff) | |
| download | linux-0a10217e5cf82835b63875752b57f01bba0bf5b6.tar.xz | |
propagate_mnt(): get rid of last_dest
Its only use is choosing the type of copy - CL_MAKE_SHARED if there
already is a copy in that peer group, CL_SLAVE or CL_SLAVE | CL_MAKE_SHARED
otherwise.
But that's easy to keep track of - just set type in the beginning of group
and reset to CL_MAKE_SHARED after the first created secondary in it...
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Diffstat (limited to 'scripts/gdb/linux/interrupts.py')
0 files changed, 0 insertions, 0 deletions