pub const SELINUX_AVD_FLAGS_PERMISSIVE: i32 = 1;