def AaFp.ext

bend-osdev-apparmor@0.1.0.0 · rule_file.bend:194

import bend-osdev-apparmor@0.1.0.0/rule_file.bend as RuleFile
import Base

194def AaFp.ext(+f: AaFp, +h: U32, x: AaXMode, +ci: U32, si: AaFpSt, +cu: U32, su: AaFpSt) -> AaFp:
195  Bool.pick(AaFp, U32.is_eq(h, 120), AaFp.exec(f, x), Bool.pick(AaFp, U32.is_eq(h, ci), AaFp.go(f, si), Bool.pick(AaFp, U32.is_eq(h, cu), AaFp.go(f, su), AaFp.fail(f))))

Uses (9)

Used by (1)