summaryrefslogtreecommitdiff
path: root/src/net/ibnet/endportibnet.cil
diff options
context:
space:
mode:
authorJohn Turner <jturner.usa@gmail.com>2025-08-16 14:43:06 -0400
committerJohn Turner <jturner.usa@gmail.com>2025-08-16 14:43:06 -0400
commit58ffeaf9b49e662e49d24a2d71dcdc9fac2949f8 (patch)
tree84c645e32aac8eb468f41df33fbac7b0a8584887 /src/net/ibnet/endportibnet.cil
parentcfd55472db08f37b2123c350ce76fb3d916d25f6 (diff)
downloadselinux-policy-58ffeaf9b49e662e49d24a2d71dcdc9fac2949f8.tar.gz
auto format all files
Diffstat (limited to 'src/net/ibnet/endportibnet.cil')
-rw-r--r--src/net/ibnet/endportibnet.cil62
1 files changed, 31 insertions, 31 deletions
diff --git a/src/net/ibnet/endportibnet.cil b/src/net/ibnet/endportibnet.cil
index d942909..031f9b9 100644
--- a/src/net/ibnet/endportibnet.cil
+++ b/src/net/ibnet/endportibnet.cil
@@ -1,11 +1,11 @@
-;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense
(class infiniband_endport (manage_subnet))
(classorder (unordered infiniband_endport))
(macro managesubnet_invalid_endports ((type ARG1))
- (allow ARG1 invalid (infiniband_endport (manage_subnet))))
+ (allow ARG1 invalid (infiniband_endport (manage_subnet))))
(in invalid.unconfined
@@ -14,8 +14,8 @@
(in mcs
(mlsconstrain (infiniband_endport (manage_subnet))
- (or (dom h1 h2)
- (neq t1 constrained.typeattr))))
+ (or (dom h1 h2)
+ (neq t1 constrained.typeattr))))
(in net.ib
@@ -23,53 +23,53 @@
(block endport
- (macro type ((type ARG1))
- (typeattributeset typeattr ARG1))
+ (macro type ((type ARG1))
+ (typeattributeset typeattr ARG1))
- (typeattribute typeattr)
+ (typeattribute typeattr)
- (blockinherit all_macro_template)
+ (blockinherit all_macro_template)
- (call .obj.type (typeattr))
+ (call .obj.type (typeattr))
- (block all_macro_template
+ (block all_macro_template
- (blockabstract all_macro_template)
+ (blockabstract all_macro_template)
- (macro managesubnet_all_endports ((type ARG1))
- (allow ARG1 typeattr (infiniband_endport (manage_subnet)))))
+ (macro managesubnet_all_endports ((type ARG1))
+ (allow ARG1 typeattr (infiniband_endport (manage_subnet)))))
- (block base_template
+ (block base_template
- (blockabstract base_template)
+ (blockabstract base_template)
- (context endport_context (.sys.id .sys.role endport .sys.lowlow))
+ (context endport_context (.sys.id .sys.role endport .sys.lowlow))
- (type endport)
- (call .net.ib.endport.type (endport)))
+ (type endport)
+ (call .net.ib.endport.type (endport)))
- (block macro_template
+ (block macro_template
- (blockabstract macro_template)
+ (blockabstract macro_template)
- (macro managesubnet_endports ((type ARG1))
- (allow ARG1 endport (infiniband_endport (manage_subnet)))))
+ (macro managesubnet_endports ((type ARG1))
+ (allow ARG1 endport (infiniband_endport (manage_subnet)))))
- (block template
+ (block template
- (blockabstract template)
+ (blockabstract template)
- (blockinherit .net.ib.endport.base_template)
- (blockinherit .net.ib.endport.macro_template))
+ (blockinherit .net.ib.endport.base_template)
+ (blockinherit .net.ib.endport.macro_template))
- (block unconfined
+ (block unconfined
- (macro type ((type ARG1))
- (typeattributeset typeattr ARG1))
+ (macro type ((type ARG1))
+ (typeattributeset typeattr ARG1))
- (typeattribute typeattr)
+ (typeattribute typeattr)
- (allow typeattr endport.typeattr (infiniband_endport (all))))))
+ (allow typeattr endport.typeattr (infiniband_endport (all))))))
(in net.ib.unconfined