From Debian package 0.0.20080702-1
Unused interfaces
Index: policy/modules/services/xserver.if
===================================================================
--- policy/modules/services/xserver.if.orig
+++ policy/modules/services/xserver.if
@@ -602,6 +602,42 @@
########################################
##
+## Set the attributes of the X windows console named pipes.
+##
+##
+##
+## Domain allowed access.
+##
+##
+#
+interface(`xserver_setattr_console_pipes',`
+ gen_require(`
+ type xconsole_device_t;
+ ')
+
+ allow $1 xconsole_device_t:fifo_file setattr;
+')
+
+########################################
+##
+## Read and write the X windows console named pipe.
+##
+##
+##
+## Domain allowed access.
+##
+##
+#
+interface(`xserver_rw_console',`
+ gen_require(`
+ type xconsole_device_t;
+ ')
+
+ allow $1 xconsole_device_t:fifo_file rw_fifo_file_perms;
+')
+
+########################################
+##
## Use file descriptors for xdm.
##
##