def Caps.execve.sets
import bend-osdev-caps@0.1.0.0/exec.bend as Execimport Base
import bend-osdev-caps@0.1.0.0/caps.bend as C
141# The thread's sets after it executes f. ign: the set-user-ID and
142# set-group-ID bits and the file capabilities are ignored (no_new_privs, a
143# nosuid mount, or a ptraced caller: execve(2)).
144def Caps.execve.sets(k: C.CapsKernel, +c: C.CapCred, f: C.CapFile, ign: Bool) -> C.CapState:
145 CapExec.sets(CapExec.flags(k, c, f, ign), C.CapCred.sets(c))