dontaudit $1 { device_t device_node }:dir_file_class_set getattr;
')
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 0)
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 1)
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 2)
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 3)
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 4)
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 5)
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 6)
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 7)
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 8)
- # filetrans_pattern($1, device_t, usb_device_t, chr_file, 9)
+
+########################################
+## <summary>
+## Create all named devices with the correct label
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+#
+interface(`dev_filetrans_all_named_dev',`
+
+gen_require(`
+ type device_t;
+ type usb_device_t;
+ type xserver_misc_device_t;
+ type sound_device_t;
+ type apm_bios_t;
+ type mouse_device_t;
+ type autofs_device_t;
+ type lvm_control_t;
+ type crash_device_t;
+ type dlm_control_device_t;
+ type clock_device_t;
+ type v4l_device_t;
+ type event_device_t;
+ type xen_device_t;
+ type framebuf_device_t;
+ type null_device_t;
+ type random_device_t;
+ type dri_device_t;
+ type ipmi_device_t;
+ type printer_device_t;
+ type memory_device_t;
+ type kmsg_device_t;
+ type qemu_device_t;
+ type ksm_device_t;
+ type kvm_device_t;
+ type lirc_device_t;
+ type cpu_device_t;
+ type scanner_device_t;
+ type modem_device_t;
+ type vhost_device_t;
+ type netcontrol_device_t;
+ type nvram_device_t;
+ type power_device_t;
+ type wireless_device_t;
+ type tpm_device_t;
+ type userio_device_t;
+ type urandom_device_t;
+ type usbmon_device_t;
+ type vmware_device_t;
+ type watchdog_device_t;
+ type crypt_device_t;
+ type zero_device_t;
+ type smartcard_device_t;
+ type mtrr_device_t;
+')
+
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, 3dfx)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, admmidi9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, adsp9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, aload9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amidi9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, amixer9)
+ filetrans_pattern($1, device_t, apm_bios_t, chr_file, apm_bios)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, atibm)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, audio9)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs0)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs1)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs2)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs3)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs4)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs5)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs6)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs7)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs8)
+ filetrans_pattern($1, device_t, autofs_device_t, chr_file, autofs9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, beep)
+ filetrans_pattern($1, device_t, lvm_control_t, chr_file, btrfs-control)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, controlD64)
+ filetrans_pattern($1, device_t, crash_device_t, chr_file, crash)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm0)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm1)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm2)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm3)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm4)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm5)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm6)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm7)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm8)
+ filetrans_pattern($1, device_t, dlm_control_device_t, chr_file, dlm9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmfm)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dmmidi9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, dsp9)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, efirtc)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, e2201)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83000)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83001)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83002)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83003)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83004)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83005)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83006)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83007)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83008)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, em83009)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event0)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event1)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event2)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event3)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event4)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event5)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event6)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event7)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event8)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, event9)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, evtchn)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb0)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb1)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb2)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb3)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb4)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb5)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb6)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb7)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb8)
+ filetrans_pattern($1, device_t, framebuf_device_t, chr_file, fb9)
+ filetrans_pattern($1, device_t, null_device_t, chr_file, full)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw0)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw1)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw2)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw3)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw4)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw5)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw6)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw7)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw8)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, fw9)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, gfx)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, graphics)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc0)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc1)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc2)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc3)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc4)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc5)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc6)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc7)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc8)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, gtrsc9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, hfmodem)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev0)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev1)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev2)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev3)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev4)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev5)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev6)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev7)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev8)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hiddev9)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw0)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw1)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw2)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw3)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw4)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw5)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw6)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw7)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw8)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, hidraw9)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, hpet)
+ filetrans_pattern($1, device_t, random_device_t, chr_file, hw_random)
+ filetrans_pattern($1, device_t, random_device_t, chr_file, hwrng)
+ filetrans_pattern($1, device_t, dri_device_t, chr_file, i915)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, inportbm)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi0)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi1)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi2)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi3)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi4)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi5)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi6)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi7)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi8)
+ filetrans_pattern($1, device_t, ipmi_device_t, chr_file, ipmi9)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt0)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt1)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt2)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt3)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt4)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt5)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt6)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt7)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt8)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, irlpt9)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, jbm)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js0)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js1)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js2)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js3)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js4)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js5)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js6)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js7)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js8)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, js9)
+ filetrans_pattern($1, device_t, memory_device_t, chr_file, kmem)
+ filetrans_pattern($1, device_t, kmsg_device_t, chr_file, kmsg)
+ filetrans_pattern($1, device_t, qemu_device_t, chr_file, kqemu)
+ filetrans_pattern($1, device_t, ksm_device_t, chr_file, ksm)
+ filetrans_pattern($1, device_t, kvm_device_t, chr_file, kvm)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik0)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik1)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik2)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik3)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik4)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik5)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik6)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik7)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik8)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, lik9)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc0)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc1)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc2)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc3)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc4)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc5)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc6)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc7)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc8)
+ filetrans_pattern($1, device_t, lirc_device_t, chr_file, lirc9)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, lircm)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, logibm)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp0)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp1)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp2)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp3)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp4)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp5)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp6)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp7)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp8)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, lp9)
+ filetrans_pattern($1, device_t, kmsg_device_t, chr_file, mcelog)
+ filetrans_pattern($1, device_t, memory_device_t, chr_file, mem)
+ filetrans_pattern($1, device_t, memory_device_t, chr_file, mergemem)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid0)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid1)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid2)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid3)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid4)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid5)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid6)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid7)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid8)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, mga_vid9)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, mice)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, microcode)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, midi9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mixer9)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mmetfgrab)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, modem)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4010)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4011)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4012)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4013)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4014)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4015)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4016)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4017)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4018)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, mpu4019)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr0)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr1)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr2)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr3)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr4)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr5)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr6)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr7)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr8)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, msr9)
+ filetrans_pattern($1, device_t, vhost_device_t, chr_file, vhost)
+ filetrans_pattern($1, device_t, netcontrol_device_t, chr_file, network_latency)
+ filetrans_pattern($1, device_t, netcontrol_device_t, chr_file, network_throughput)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz0)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz1)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz2)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz3)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz4)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz5)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz6)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz7)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz8)
+ filetrans_pattern($1, device_t, modem_device_t, chr_file, noz9)
+ filetrans_pattern($1, device_t, null_device_t, chr_file, null)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia0)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia1)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia2)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia3)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia4)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia5)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia6)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia7)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia8)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, nvidia9)
+ filetrans_pattern($1, device_t, nvram_device_t, chr_file, nvram)
+ filetrans_pattern($1, device_t, memory_device_t, chr_file, oldmem)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, opengl)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par0)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par1)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par2)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par3)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par4)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par5)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par6)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par7)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par8)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, par9)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, pc110pad)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock0)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock1)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock2)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock3)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock4)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock5)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock6)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock7)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock8)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pcfclock9)
+ filetrans_pattern($1, device_t, power_device_t, chr_file, pmu)
+ filetrans_pattern($1, device_t, memory_device_t, chr_file, port)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps0)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps1)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps2)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps3)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps4)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps5)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps6)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps7)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps8)
+ filetrans_pattern($1, device_t, clock_device_t, chr_file, pps9)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, rmidi9)
+ filetrans_pattern($1, device_t, dri_device_t, chr_file, radeon)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio0)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio1)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio2)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio3)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio4)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio5)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio6)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio7)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio8)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, radio9)
+ filetrans_pattern($1, device_t, random_device_t, chr_file, random)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13940)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13941)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13942)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13943)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13944)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13945)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13946)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13947)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13948)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, raw13949)
+ filetrans_pattern($1, device_t, wireless_device_t, chr_file, rfkill)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, sequencer)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, sequencer2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte7)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte8)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, smpte9)
+ filetrans_pattern($1, device_t, power_device_t, chr_file, smu)
+ filetrans_pattern($1, device_t, apm_bios_t, chr_file, snapshot)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, sndstat)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, sonypi)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm0)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm1)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm2)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm3)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm4)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm5)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm6)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm7)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm8)
+ filetrans_pattern($1, device_t, tpm_device_t, chr_file, tpm9)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, uinput)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio0)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio1)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio2)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio3)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio4)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio5)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio6)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio7)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio8)
+ filetrans_pattern($1, device_t, userio_device_t, chr_file, uio9)
+ filetrans_pattern($1, device_t, urandom_device_t, chr_file, urandom)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, usb0)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, usb1)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, usb2)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, usb3)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, usb4)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, usb5)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, usb6)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, usb7)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, usb8)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp0)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp1)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp2)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp3)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp4)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp5)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp6)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp7)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp8)
+ filetrans_pattern($1, device_t, printer_device_t, chr_file, usblp9)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon0)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon1)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon2)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon3)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon4)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon5)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon6)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon7)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon8)
+ filetrans_pattern($1, device_t, usbmon_device_t, chr_file, usbmon9)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, usbscanner)
+ filetrans_pattern($1, device_t, vhost_device_t, chr_file, vhost-net)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi0)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi1)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi2)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi3)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi4)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi5)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi6)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi7)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi8)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vbi9)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox0)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox1)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox2)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox3)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox4)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox5)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox6)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox7)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox8)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vbox9)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, vga_arbiter)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmmon)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet0)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet1)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet2)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet3)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet4)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet5)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet6)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet7)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet8)
+ filetrans_pattern($1, device_t, vmware_device_t, chr_file, vmnet9)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video0)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video1)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video2)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video3)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video4)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video5)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video6)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video7)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video8)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, video9)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, vrtpanel)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vttuner)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx0)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx1)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx2)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx3)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx4)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx5)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx6)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx7)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx8)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, vtx9)
+ filetrans_pattern($1, device_t, watchdog_device_t, chr_file, watchdog)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio.)
+ filetrans_pattern($1, device_t, crypt_device_t, chr_file, z90crypt)
+ filetrans_pattern($1, device_t, zero_device_t, chr_file, zero)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card0)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card1)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card2)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card3)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card4)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card5)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card6)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card7)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card8)
+ filetrans_pattern($1, device_t, xserver_misc_device_t, chr_file, card9)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx0)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx1)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx2)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx3)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx4)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx5)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx6)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx7)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx8)
+ filetrans_pattern($1, device_t, smartcard_device_t, chr_file, cmx9)
+ filetrans_pattern($1, device_t, netcontrol_device_t, chr_file, cpu_dma_latency)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu0)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu1)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu2)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu3)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu4)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu5)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu6)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu7)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu8)
+ filetrans_pattern($1, device_t, cpu_device_t, chr_file, cpu9)
+ filetrans_pattern($1, device_t, mtrr_device_t, chr_file, mtrr)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor0)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor1)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor2)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor3)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor4)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor5)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor6)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor7)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor8)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, sensor9)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m0)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m1)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m2)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m3)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m4)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m5)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m6)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m7)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m8)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, m9)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard0)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard1)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard2)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard3)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard4)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard5)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard6)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard7)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard8)
+ filetrans_pattern($1, device_t, event_device_t, chr_file, keyboard9)
+ filetrans_pattern($1, device_t, lvm_control_t, chr_file, control)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, ucb1x00)
+ filetrans_pattern($1, device_t, mouse_device_t, chr_file, mk712)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx0)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx1)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx2)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx3)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx4)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx5)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx6)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx7)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx8)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, dc2xx9)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8000)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8001)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8002)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8003)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8004)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8005)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8006)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8007)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8008)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, mdc8009)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner0)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner1)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner2)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner3)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner4)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner5)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner6)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner7)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner8)
+ filetrans_pattern($1, device_t, scanner_device_t, chr_file, scanner9)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap0)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap1)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap2)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap3)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap4)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap5)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap6)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap7)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap8)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, blktap9)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, gntdev)
+ filetrans_pattern($1, device_t, xen_device_t, chr_file, gntalloc)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, patmgr0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, patmgr1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, srnd0)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, srnd1)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, srnd2)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, srnd3)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, srnd4)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, srnd5)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, srnd6)
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, srnd7)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, tlk0)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, tlk1)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, tlk2)
+ filetrans_pattern($1, device_t, v4l_device_t, chr_file, tlk3)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, uba)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, ubb)
+ filetrans_pattern($1, device_t, usb_device_t, chr_file, ubc)
+')
dev_list_all_dev_nodes($1)
allow $1 virtio_device_t:chr_file rw_chr_file_perms;
')
- dev_filetrans($1, tty_device_t, chr_file, 0)
- dev_filetrans($1, tty_device_t, chr_file, 1)
- dev_filetrans($1, tty_device_t, chr_file, 2)
- dev_filetrans($1, tty_device_t, chr_file, 3)
- dev_filetrans($1, tty_device_t, chr_file, 4)
- dev_filetrans($1, tty_device_t, chr_file, 5)
- dev_filetrans($1, tty_device_t, chr_file, 6)
- dev_filetrans($1, tty_device_t, chr_file, 7)
- dev_filetrans($1, tty_device_t, chr_file, 8)
- dev_filetrans($1, tty_device_t, chr_file, 9)
+
+########################################
+## <summary>
+## Create all named term devices with the correct label
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed access.
+## </summary>
+## </param>
+#
+interface(`term_filetrans_all_named_dev',`
+
+gen_require(`
+ type tty_device_t;
+ type bsdpty_device_t;
+ type console_device_t;
+ type ptmx_t;
+ type devtty_t;
+ type virtio_device_t;
+ type devpts_t;
+ type usbtty_device_t;
+')
+
+ dev_filetrans($1, devtty_t, chr_file, tty)
+ dev_filetrans($1, tty_device_t, chr_file, tty0)
+ dev_filetrans($1, tty_device_t, chr_file, tty1)
+ dev_filetrans($1, tty_device_t, chr_file, tty2)
+ dev_filetrans($1, tty_device_t, chr_file, tty3)
+ dev_filetrans($1, tty_device_t, chr_file, tty4)
+ dev_filetrans($1, tty_device_t, chr_file, tty5)
+ dev_filetrans($1, tty_device_t, chr_file, tty6)
+ dev_filetrans($1, tty_device_t, chr_file, tty7)
+ dev_filetrans($1, tty_device_t, chr_file, tty8)
+ dev_filetrans($1, tty_device_t, chr_file, tty9)
+ dev_filetrans($1, tty_device_t, chr_file, tty10)
+ dev_filetrans($1, tty_device_t, chr_file, tty11)
+ dev_filetrans($1, tty_device_t, chr_file, tty12)
+ dev_filetrans($1, tty_device_t, chr_file, tty13)
+ dev_filetrans($1, tty_device_t, chr_file, tty14)
+ dev_filetrans($1, tty_device_t, chr_file, tty15)
+ dev_filetrans($1, tty_device_t, chr_file, tty16)
+ dev_filetrans($1, tty_device_t, chr_file, tty17)
+ dev_filetrans($1, tty_device_t, chr_file, tty18)
+ dev_filetrans($1, tty_device_t, chr_file, tty19)
+ dev_filetrans($1, tty_device_t, chr_file, tty20)
+ dev_filetrans($1, tty_device_t, chr_file, tty21)
+ dev_filetrans($1, tty_device_t, chr_file, tty22)
+ dev_filetrans($1, tty_device_t, chr_file, tty23)
+ dev_filetrans($1, tty_device_t, chr_file, tty24)
+ dev_filetrans($1, tty_device_t, chr_file, tty25)
+ dev_filetrans($1, tty_device_t, chr_file, tty26)
+ dev_filetrans($1, tty_device_t, chr_file, tty27)
+ dev_filetrans($1, tty_device_t, chr_file, tty28)
+ dev_filetrans($1, tty_device_t, chr_file, tty29)
+ dev_filetrans($1, tty_device_t, chr_file, tty30)
+ dev_filetrans($1, tty_device_t, chr_file, tty31)
+ dev_filetrans($1, tty_device_t, chr_file, tty32)
+ dev_filetrans($1, tty_device_t, chr_file, tty33)
+ dev_filetrans($1, tty_device_t, chr_file, tty34)
+ dev_filetrans($1, tty_device_t, chr_file, tty35)
+ dev_filetrans($1, tty_device_t, chr_file, tty36)
+ dev_filetrans($1, tty_device_t, chr_file, tty37)
+ dev_filetrans($1, tty_device_t, chr_file, tty38)
+ dev_filetrans($1, tty_device_t, chr_file, tty39)
+ dev_filetrans($1, tty_device_t, chr_file, tty40)
+ dev_filetrans($1, tty_device_t, chr_file, tty41)
+ dev_filetrans($1, tty_device_t, chr_file, tty42)
+ dev_filetrans($1, tty_device_t, chr_file, tty43)
+ dev_filetrans($1, tty_device_t, chr_file, tty44)
+ dev_filetrans($1, tty_device_t, chr_file, tty45)
+ dev_filetrans($1, tty_device_t, chr_file, tty46)
+ dev_filetrans($1, tty_device_t, chr_file, tty47)
+ dev_filetrans($1, tty_device_t, chr_file, tty48)
+ dev_filetrans($1, tty_device_t, chr_file, tty49)
+ dev_filetrans($1, tty_device_t, chr_file, tty50)
+ dev_filetrans($1, tty_device_t, chr_file, tty51)
+ dev_filetrans($1, tty_device_t, chr_file, tty52)
+ dev_filetrans($1, tty_device_t, chr_file, tty53)
+ dev_filetrans($1, tty_device_t, chr_file, tty54)
+ dev_filetrans($1, tty_device_t, chr_file, tty55)
+ dev_filetrans($1, tty_device_t, chr_file, tty56)
+ dev_filetrans($1, tty_device_t, chr_file, tty57)
+ dev_filetrans($1, tty_device_t, chr_file, tty58)
+ dev_filetrans($1, tty_device_t, chr_file, tty59)
+ dev_filetrans($1, tty_device_t, chr_file, tty60)
+ dev_filetrans($1, tty_device_t, chr_file, tty61)
+ dev_filetrans($1, tty_device_t, chr_file, tty62)
+ dev_filetrans($1, tty_device_t, chr_file, tty63)
+ dev_filetrans($1, tty_device_t, chr_file, tty64)
+ dev_filetrans($1, tty_device_t, chr_file, tty65)
+ dev_filetrans($1, tty_device_t, chr_file, tty66)
+ dev_filetrans($1, tty_device_t, chr_file, tty67)
+ dev_filetrans($1, tty_device_t, chr_file, tty68)
+ dev_filetrans($1, tty_device_t, chr_file, tty69)
+ dev_filetrans($1, tty_device_t, chr_file, tty70)
+ dev_filetrans($1, tty_device_t, chr_file, tty71)
+ dev_filetrans($1, tty_device_t, chr_file, tty72)
+ dev_filetrans($1, tty_device_t, chr_file, tty73)
+ dev_filetrans($1, tty_device_t, chr_file, tty74)
+ dev_filetrans($1, tty_device_t, chr_file, tty75)
+ dev_filetrans($1, tty_device_t, chr_file, tty76)
+ dev_filetrans($1, tty_device_t, chr_file, tty77)
+ dev_filetrans($1, tty_device_t, chr_file, tty78)
+ dev_filetrans($1, tty_device_t, chr_file, tty79)
+ dev_filetrans($1, tty_device_t, chr_file, tty80)
+ dev_filetrans($1, tty_device_t, chr_file, tty81)
+ dev_filetrans($1, tty_device_t, chr_file, tty82)
+ dev_filetrans($1, tty_device_t, chr_file, tty83)
+ dev_filetrans($1, tty_device_t, chr_file, tty84)
+ dev_filetrans($1, tty_device_t, chr_file, tty85)
+ dev_filetrans($1, tty_device_t, chr_file, tty86)
+ dev_filetrans($1, tty_device_t, chr_file, tty87)
+ dev_filetrans($1, tty_device_t, chr_file, tty88)
+ dev_filetrans($1, tty_device_t, chr_file, tty89)
+ dev_filetrans($1, tty_device_t, chr_file, tty90)
+ dev_filetrans($1, tty_device_t, chr_file, tty91)
+ dev_filetrans($1, tty_device_t, chr_file, tty92)
+ dev_filetrans($1, tty_device_t, chr_file, tty93)
+ dev_filetrans($1, tty_device_t, chr_file, tty94)
+ dev_filetrans($1, tty_device_t, chr_file, tty95)
+ dev_filetrans($1, tty_device_t, chr_file, tty96)
+ dev_filetrans($1, tty_device_t, chr_file, tty97)
+ dev_filetrans($1, tty_device_t, chr_file, tty98)
+ dev_filetrans($1, tty_device_t, chr_file, tty99)
+ dev_filetrans($1, tty_device_t, chr_file, pty)
+ dev_filetrans($1, tty_device_t, chr_file, pty0)
+ dev_filetrans($1, tty_device_t, chr_file, pty1)
+ dev_filetrans($1, tty_device_t, chr_file, pty2)
+ dev_filetrans($1, tty_device_t, chr_file, pty3)
+ dev_filetrans($1, tty_device_t, chr_file, pty4)
+ dev_filetrans($1, tty_device_t, chr_file, pty5)
+ dev_filetrans($1, tty_device_t, chr_file, pty6)
+ dev_filetrans($1, tty_device_t, chr_file, pty7)
+ dev_filetrans($1, tty_device_t, chr_file, pty8)
+ dev_filetrans($1, tty_device_t, chr_file, pty9)
+ dev_filetrans($1, tty_device_t, chr_file, pty10)
+ dev_filetrans($1, tty_device_t, chr_file, pty11)
+ dev_filetrans($1, tty_device_t, chr_file, pty12)
+ dev_filetrans($1, tty_device_t, chr_file, pty13)
+ dev_filetrans($1, tty_device_t, chr_file, pty14)
+ dev_filetrans($1, tty_device_t, chr_file, pty15)
+ dev_filetrans($1, tty_device_t, chr_file, pty16)
+ dev_filetrans($1, tty_device_t, chr_file, pty17)
+ dev_filetrans($1, tty_device_t, chr_file, pty18)
+ dev_filetrans($1, tty_device_t, chr_file, pty19)
+ dev_filetrans($1, tty_device_t, chr_file, pty20)
+ dev_filetrans($1, tty_device_t, chr_file, pty21)
+ dev_filetrans($1, tty_device_t, chr_file, pty22)
+ dev_filetrans($1, tty_device_t, chr_file, pty23)
+ dev_filetrans($1, tty_device_t, chr_file, pty24)
+ dev_filetrans($1, tty_device_t, chr_file, pty25)
+ dev_filetrans($1, tty_device_t, chr_file, pty26)
+ dev_filetrans($1, tty_device_t, chr_file, pty27)
+ dev_filetrans($1, tty_device_t, chr_file, pty28)
+ dev_filetrans($1, tty_device_t, chr_file, pty29)
+ dev_filetrans($1, tty_device_t, chr_file, pty30)
+ dev_filetrans($1, tty_device_t, chr_file, pty31)
+ dev_filetrans($1, tty_device_t, chr_file, pty32)
+ dev_filetrans($1, tty_device_t, chr_file, pty33)
+ dev_filetrans($1, tty_device_t, chr_file, pty34)
+ dev_filetrans($1, tty_device_t, chr_file, pty35)
+ dev_filetrans($1, tty_device_t, chr_file, pty36)
+ dev_filetrans($1, tty_device_t, chr_file, pty37)
+ dev_filetrans($1, tty_device_t, chr_file, pty38)
+ dev_filetrans($1, tty_device_t, chr_file, pty39)
+ dev_filetrans($1, tty_device_t, chr_file, pty40)
+ dev_filetrans($1, tty_device_t, chr_file, pty41)
+ dev_filetrans($1, tty_device_t, chr_file, pty42)
+ dev_filetrans($1, tty_device_t, chr_file, pty43)
+ dev_filetrans($1, tty_device_t, chr_file, pty44)
+ dev_filetrans($1, tty_device_t, chr_file, pty45)
+ dev_filetrans($1, tty_device_t, chr_file, pty46)
+ dev_filetrans($1, tty_device_t, chr_file, pty47)
+ dev_filetrans($1, tty_device_t, chr_file, pty48)
+ dev_filetrans($1, tty_device_t, chr_file, pty49)
+ dev_filetrans($1, tty_device_t, chr_file, pty50)
+ dev_filetrans($1, tty_device_t, chr_file, pty51)
+ dev_filetrans($1, tty_device_t, chr_file, pty52)
+ dev_filetrans($1, tty_device_t, chr_file, pty53)
+ dev_filetrans($1, tty_device_t, chr_file, pty54)
+ dev_filetrans($1, tty_device_t, chr_file, pty55)
+ dev_filetrans($1, tty_device_t, chr_file, pty56)
+ dev_filetrans($1, tty_device_t, chr_file, pty57)
+ dev_filetrans($1, tty_device_t, chr_file, pty58)
+ dev_filetrans($1, tty_device_t, chr_file, pty59)
+ dev_filetrans($1, tty_device_t, chr_file, pty60)
+ dev_filetrans($1, tty_device_t, chr_file, pty61)
+ dev_filetrans($1, tty_device_t, chr_file, pty62)
+ dev_filetrans($1, tty_device_t, chr_file, pty63)
+ dev_filetrans($1, tty_device_t, chr_file, pty64)
+ dev_filetrans($1, tty_device_t, chr_file, pty65)
+ dev_filetrans($1, tty_device_t, chr_file, pty66)
+ dev_filetrans($1, tty_device_t, chr_file, pty67)
+ dev_filetrans($1, tty_device_t, chr_file, pty68)
+ dev_filetrans($1, tty_device_t, chr_file, pty69)
+ dev_filetrans($1, tty_device_t, chr_file, pty70)
+ dev_filetrans($1, tty_device_t, chr_file, pty71)
+ dev_filetrans($1, tty_device_t, chr_file, pty72)
+ dev_filetrans($1, tty_device_t, chr_file, pty73)
+ dev_filetrans($1, tty_device_t, chr_file, pty74)
+ dev_filetrans($1, tty_device_t, chr_file, pty75)
+ dev_filetrans($1, tty_device_t, chr_file, pty76)
+ dev_filetrans($1, tty_device_t, chr_file, pty77)
+ dev_filetrans($1, tty_device_t, chr_file, pty78)
+ dev_filetrans($1, tty_device_t, chr_file, pty79)
+ dev_filetrans($1, tty_device_t, chr_file, pty80)
+ dev_filetrans($1, tty_device_t, chr_file, pty81)
+ dev_filetrans($1, tty_device_t, chr_file, pty82)
+ dev_filetrans($1, tty_device_t, chr_file, pty83)
+ dev_filetrans($1, tty_device_t, chr_file, pty84)
+ dev_filetrans($1, tty_device_t, chr_file, pty85)
+ dev_filetrans($1, tty_device_t, chr_file, pty86)
+ dev_filetrans($1, tty_device_t, chr_file, pty87)
+ dev_filetrans($1, tty_device_t, chr_file, pty88)
+ dev_filetrans($1, tty_device_t, chr_file, pty89)
+ dev_filetrans($1, tty_device_t, chr_file, pty90)
+ dev_filetrans($1, tty_device_t, chr_file, pty91)
+ dev_filetrans($1, tty_device_t, chr_file, pty92)
+ dev_filetrans($1, tty_device_t, chr_file, pty93)
+ dev_filetrans($1, tty_device_t, chr_file, pty94)
+ dev_filetrans($1, tty_device_t, chr_file, pty95)
+ dev_filetrans($1, tty_device_t, chr_file, pty96)
+ dev_filetrans($1, tty_device_t, chr_file, pty97)
+ dev_filetrans($1, tty_device_t, chr_file, pty98)
+ dev_filetrans($1, tty_device_t, chr_file, pty99)
+ dev_filetrans($1, tty_device_t, chr_file, adb0)
+ dev_filetrans($1, tty_device_t, chr_file, adb1)
+ dev_filetrans($1, tty_device_t, chr_file, adb2)
+ dev_filetrans($1, tty_device_t, chr_file, adb3)
+ dev_filetrans($1, tty_device_t, chr_file, adb4)
+ dev_filetrans($1, tty_device_t, chr_file, adb5)
+ dev_filetrans($1, tty_device_t, chr_file, adb6)
+ dev_filetrans($1, tty_device_t, chr_file, adb7)
+ dev_filetrans($1, tty_device_t, chr_file, adb8)
+ dev_filetrans($1, tty_device_t, chr_file, adb9)
+ dev_filetrans($1, tty_device_t, chr_file, capi0)
+ dev_filetrans($1, tty_device_t, chr_file, capi1)
+ dev_filetrans($1, tty_device_t, chr_file, capi2)
+ dev_filetrans($1, tty_device_t, chr_file, capi3)
+ dev_filetrans($1, tty_device_t, chr_file, capi4)
+ dev_filetrans($1, tty_device_t, chr_file, capi5)
+ dev_filetrans($1, tty_device_t, chr_file, capi6)
+ dev_filetrans($1, tty_device_t, chr_file, capi7)
+ dev_filetrans($1, tty_device_t, chr_file, capi8)
+ dev_filetrans($1, tty_device_t, chr_file, capi9)
+ dev_filetrans($1, console_device_t, chr_file, console)
+ dev_filetrans($1, tty_device_t, chr_file, cu0)
+ dev_filetrans($1, tty_device_t, chr_file, cu1)
+ dev_filetrans($1, tty_device_t, chr_file, cu2)
+ dev_filetrans($1, tty_device_t, chr_file, cu3)
+ dev_filetrans($1, tty_device_t, chr_file, cu4)
+ dev_filetrans($1, tty_device_t, chr_file, cu5)
+ dev_filetrans($1, tty_device_t, chr_file, cu6)
+ dev_filetrans($1, tty_device_t, chr_file, cu7)
+ dev_filetrans($1, tty_device_t, chr_file, cu8)
+ dev_filetrans($1, tty_device_t, chr_file, cu9)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri0)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri1)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri2)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri3)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri4)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri5)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri6)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri7)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri8)
+ dev_filetrans($1, tty_device_t, chr_file, dcbri9)
+ dev_filetrans($1, tty_device_t, chr_file, hvc0)
+ dev_filetrans($1, tty_device_t, chr_file, hvc1)
+ dev_filetrans($1, tty_device_t, chr_file, hvc2)
+ dev_filetrans($1, tty_device_t, chr_file, hvc3)
+ dev_filetrans($1, tty_device_t, chr_file, hvc4)
+ dev_filetrans($1, tty_device_t, chr_file, hvc5)
+ dev_filetrans($1, tty_device_t, chr_file, hvc6)
+ dev_filetrans($1, tty_device_t, chr_file, hvc7)
+ dev_filetrans($1, tty_device_t, chr_file, hvc8)
+ dev_filetrans($1, tty_device_t, chr_file, hvc9)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi0)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi1)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi2)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi3)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi4)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi5)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi6)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi7)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi8)
+ dev_filetrans($1, tty_device_t, chr_file, hvsi9)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm0)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm1)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm2)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm3)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm4)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm5)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm6)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm7)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm8)
+ dev_filetrans($1, tty_device_t, chr_file, ircomm9)
+ dev_filetrans($1, tty_device_t, chr_file, isdn0)
+ dev_filetrans($1, tty_device_t, chr_file, isdn1)
+ dev_filetrans($1, tty_device_t, chr_file, isdn2)
+ dev_filetrans($1, tty_device_t, chr_file, isdn3)
+ dev_filetrans($1, tty_device_t, chr_file, isdn4)
+ dev_filetrans($1, tty_device_t, chr_file, isdn5)
+ dev_filetrans($1, tty_device_t, chr_file, isdn6)
+ dev_filetrans($1, tty_device_t, chr_file, isdn7)
+ dev_filetrans($1, tty_device_t, chr_file, isdn8)
+ dev_filetrans($1, tty_device_t, chr_file, isdn9)
+ dev_filetrans($1, ptmx_t, chr_file, ptmx)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm0)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm1)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm2)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm3)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm4)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm5)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm6)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm7)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm8)
+ dev_filetrans($1, tty_device_t, chr_file, rfcomm9)
+ dev_filetrans($1, tty_device_t, chr_file, slamr0)
+ dev_filetrans($1, tty_device_t, chr_file, slamr1)
+ dev_filetrans($1, tty_device_t, chr_file, slamr2)
+ dev_filetrans($1, tty_device_t, chr_file, slamr3)
+ dev_filetrans($1, tty_device_t, chr_file, slamr4)
+ dev_filetrans($1, tty_device_t, chr_file, slamr5)
+ dev_filetrans($1, tty_device_t, chr_file, slamr6)
+ dev_filetrans($1, tty_device_t, chr_file, slamr7)
+ dev_filetrans($1, tty_device_t, chr_file, slamr8)
+ dev_filetrans($1, tty_device_t, chr_file, slamr9)
+ dev_filetrans($1, devtty_t, chr_file, tty)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG0)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG1)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG2)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG3)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG4)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG5)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG6)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG7)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG8)
+ dev_filetrans($1, tty_device_t, chr_file, ttySG9)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p0)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p1)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p2)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p3)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p4)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p5)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p6)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p7)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p8)
+ dev_filetrans($1, virtio_device_t, chr_file, vport0p9)
+ dev_filetrans($1, devpts_t, dir, pts)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty0)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty1)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty2)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty3)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty4)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty5)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty6)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty7)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty8)
+ dev_filetrans($1, usbtty_device_t, chr_file, tty9)
+ dev_filetrans($1, tty_device_t, chr_file, xvc0)
+ dev_filetrans($1, tty_device_t, chr_file, xvc1)
+ dev_filetrans($1, tty_device_t, chr_file, xvc2)
+ dev_filetrans($1, tty_device_t, chr_file, xvc3)
+ dev_filetrans($1, tty_device_t, chr_file, xvc4)
+ dev_filetrans($1, tty_device_t, chr_file, xvc5)
+ dev_filetrans($1, tty_device_t, chr_file, xvc6)
+ dev_filetrans($1, tty_device_t, chr_file, xvc7)
+ dev_filetrans($1, tty_device_t, chr_file, xvc8)
+ dev_filetrans($1, tty_device_t, chr_file, xvc9)
+')