summaryrefslogtreecommitdiff
path: root/src/dev
diff options
context:
space:
mode:
Diffstat (limited to 'src/dev')
-rw-r--r--src/dev/termdev.cil3
-rw-r--r--src/dev/termdev/ptytermdev.cil6
-rw-r--r--src/dev/termdev/ptytermdev/loginptytermdev.cil3
-rw-r--r--src/dev/termdev/serialtermdev.cil6
-rw-r--r--src/dev/termdev/serialtermdev/loginserialtermdev.cil3
5 files changed, 0 insertions, 21 deletions
diff --git a/src/dev/termdev.cil b/src/dev/termdev.cil
index 93655b3..efd5e7a 100644
--- a/src/dev/termdev.cil
+++ b/src/dev/termdev.cil
@@ -5,14 +5,12 @@
(macro appendinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr appendinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
(macro readwriteinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr readwriteinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
@@ -22,7 +20,6 @@
(macro writeinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr writeinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
diff --git a/src/dev/termdev/ptytermdev.cil b/src/dev/termdev/ptytermdev.cil
index 4349a93..270cc03 100644
--- a/src/dev/termdev/ptytermdev.cil
+++ b/src/dev/termdev/ptytermdev.cil
@@ -5,14 +5,12 @@
(macro appendinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr appendinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
(macro readwriteinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr readwriteinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
@@ -22,7 +20,6 @@
(macro writeinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr writeinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
@@ -53,7 +50,6 @@
(macro appendinherited_ptytermdev_chr_files ((type ARG1))
(allow ARG1 ptytermdev appendinherited_chr_file)
- (allowx ARG1 ptytermdev FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 ptytermdev IOCTLCONSOLE)
(allowx ARG1 ptytermdev IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 ptytermdev IOCTLVT))
@@ -81,7 +77,6 @@
(macro readwriteinherited_ptytermdev_chr_files ((type ARG1))
(allow ARG1 ptytermdev readwriteinherited_chr_file)
- (allowx ARG1 ptytermdev FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 ptytermdev IOCTLCONSOLE)
(allowx ARG1 ptytermdev IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 ptytermdev IOCTLVT))
@@ -103,7 +98,6 @@
(macro writeinherited_ptytermdev_chr_files ((type ARG1))
(allow ARG1 ptytermdev writeinherited_chr_file)
- (allowx ARG1 ptytermdev FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 ptytermdev IOCTLCONSOLE)
(allowx ARG1 ptytermdev IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 ptytermdev IOCTLVT)))
diff --git a/src/dev/termdev/ptytermdev/loginptytermdev.cil b/src/dev/termdev/ptytermdev/loginptytermdev.cil
index b9019d4..43ae22b 100644
--- a/src/dev/termdev/ptytermdev/loginptytermdev.cil
+++ b/src/dev/termdev/ptytermdev/loginptytermdev.cil
@@ -8,14 +8,12 @@
(macro appendinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr appendinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
(macro readwriteinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr readwriteinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
@@ -25,7 +23,6 @@
(macro writeinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr writeinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
diff --git a/src/dev/termdev/serialtermdev.cil b/src/dev/termdev/serialtermdev.cil
index 7400737..5907658 100644
--- a/src/dev/termdev/serialtermdev.cil
+++ b/src/dev/termdev/serialtermdev.cil
@@ -5,14 +5,12 @@
(macro appendinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr appendinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
(macro readwriteinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr readwriteinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
@@ -22,7 +20,6 @@
(macro writeinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr writeinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
@@ -52,7 +49,6 @@
(macro appendinherited_serialtermdev_chr_files ((type ARG1))
(allow ARG1 serialtermdev appendinherited_chr_file)
- (allowx ARG1 serialtermdev FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 serialtermdev IOCTLCONSOLE)
(allowx ARG1 serialtermdev IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 serialtermdev IOCTLVT))
@@ -80,7 +76,6 @@
(macro readwriteinherited_serialtermdev_chr_files ((type ARG1))
(allow ARG1 serialtermdev readwriteinherited_chr_file)
- (allowx ARG1 serialtermdev FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 serialtermdev IOCTLCONSOLE)
(allowx ARG1 serialtermdev IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 serialtermdev IOCTLVT))
@@ -102,7 +97,6 @@
(macro writeinherited_serialtermdev_chr_files ((type ARG1))
(allow ARG1 serialtermdev writeinherited_chr_file)
- (allowx ARG1 serialtermdev FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 serialtermdev IOCTLCONSOLE)
(allowx ARG1 serialtermdev IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 serialtermdev IOCTLVT)))
diff --git a/src/dev/termdev/serialtermdev/loginserialtermdev.cil b/src/dev/termdev/serialtermdev/loginserialtermdev.cil
index 2580dbe..b5a9d91 100644
--- a/src/dev/termdev/serialtermdev/loginserialtermdev.cil
+++ b/src/dev/termdev/serialtermdev/loginserialtermdev.cil
@@ -8,14 +8,12 @@
(macro appendinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr appendinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
(macro readwriteinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr readwriteinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))
@@ -25,7 +23,6 @@
(macro writeinherited_all_chr_files ((type ARG1))
(allow ARG1 typeattr writeinherited_chr_file)
- (allowx ARG1 typeattr FIOCLEX_FIONCLEX_CHRFILE)
(allowx ARG1 typeattr IOCTLCONSOLE)
(allowx ARG1 typeattr IOCTLTTY_NOT_TIOCSTI)
(allowx ARG1 typeattr IOCTLVT))