#
# Authors: Stephen Smalley <sds@epoch.ncsc.mil> and Timothy Fraser
#
############################################
#
# Devpts types
#
#
# ptmx_t is the type for /dev/ptmx.
#
type ptmx_t, sysadmfile, device_type, dev_fs;
#
# devpts_t is the type of the devpts file system and
# the type of the root directory of the file system.
#
type devpts_t, fs_type;