-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 05/12/2011 06:03 PM, Steve Lawrence wrote:
> On 05/11/2011 05:34 PM, Daniel J Walsh wrote:
>> On 05/11/2011 01:31 PM, Steve Lawrence wrote:
>>> On 05/03/2011 09:32 AM, Daniel J Walsh wrote:
>>>> Otherwise you end up with a conflict.
>>
>>>> checkpolicy-filename.patchdiff --git a/checkpolicy/policy_scan.l b/checkpolicy/policy_scan.l
>>>> index 427c189..1331c04 100644
>>>> --- a/checkpolicy/policy_scan.l
>>>> +++ b/checkpolicy/policy_scan.l
>>>> @@ -219,10 +219,11 @@ PERMISSIVE { return(PERMISSIVE); }
>>>> {letter}({alnum}|[_\-])*([\.]?({alnum}|[_\-]))* { return(IDENTIFIER); }
>>>> {digit}+|0x{hexval}+ { return(NUMBER); }
>>>> {alnum}* { return(FILENAME); }
>>>> +\.({alnum}|[_\.\-])* { return(FILENAME); }
>>>> {digit}{1,3}(\.{digit}{1,3}){3} { return(IPV4_ADDR); }
>>>> {hexval}{0,4}":"{hexval}{0,4}":"({hexval}|[:.])* { return(IPV6_ADDR); }
>>>> {digit}+(\.({alnum}|[_.])*)? { return(VERSION_IDENTIFIER); }
>>>> -{alnum}+([_\.]|{alnum})+ { return(FILENAME); }
>>>> +{letter}+([-_\.]|{alnum})+ { return(FILENAME); }
>>>> ([_\.]){alnum}+ { return(FILENAME); }
>>>> #line[ ]1[ ]\"[^\n]*\" { set_source_file(yytext+9); }
>>>> #line[ ]{digit}+ { source_lineno = atoi(yytext+6)-1; }
>>
>>> Can't these be merged? I know I merged something similar earlier, but is
>>> it really necessary to have 3 regexs for filename?
>>
>>> \.?({alnum}|[_\.\-])* { return(FILENAME); }
>>
>>> Or am I missing something?
>> I believe that if you have
>>
>> -{alnum}+([_\.]|{alnum})+ { return(FILENAME); }
>>
>> This conflicts with NUMBER. And causes other parts of the regular
>> expression to fail.
>>
>
> Yeah, I think you're right, but there are still some problems with the
> regex. For example, you can't have a file name that starts with an
> underscore followed by anything other than an alphanumeric (e.g.
> _foo_bar and _foo.txt are syntax errors). This also won't match file
> names containing an underscore that begin with a number (e.g. 9foo_bar).
>
> So, I'm wondering if we really gain much from having a separate FILENAME
> identifier? Without it, I guess you could have filenames that aren't
> valid filenames (e.g. "foo/bar"), but I don't know if that's worth the
> complexity. If the only limits are things like can't have forward
> slashes, can't equal '.' or '..', perhaps it would be easier to move
> valid file name checking into libsepol?
>
> Is there any other value to the FILENAME identifier?
Well without these changes files that begin with . like .ssh were not
accepted. If you can generate a way so any blob of characters could be
treated as a file, then I am fine with it.
We need to say
000 Is a filename
.ssh
device-mapper
I have attached the name transition rules that we have added to F16
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/
iEYEARECAAYFAk3MBmoACgkQrlYvE4MpobO6GQCdELkATI39ZrgFiFE/MJkvbCee
6+EAn1YbvBRpJdz0iQBNAoVjzSJ1X4Rk
=0sjD
-----END PGP SIGNATURE-----
+ userdom_user_home_dir_filetrans($1, config_home_t, dir, .xine) + userdom_user_home_dir_filetrans($1, cache_home_t, dir, .cache) + userdom_user_home_dir_filetrans($1, config_home_t, dir, .kde) + userdom_user_home_dir_filetrans($1, gconf_home_t, dir, .gconf) + userdom_user_home_dir_filetrans($1, gconf_home_t, dir, .gconfd) + userdom_user_home_dir_filetrans($1, gconf_home_t, dir, .local) + userdom_user_home_dir_filetrans($1, gnome_home_t, dir, .gnome2) + userdom_user_home_dir_filetrans($1, gstreamer_home_t, dir, .gstreamer-10) + userdom_user_home_dir_filetrans($1, gstreamer_home_t, dir, .gstreamer-12) + filetrans_pattern($1, gnome_home_t, gkeyringd_gnome_home_t, dir, keyrings) + filetrans_pattern($1, gconf_home_t, data_home_t, dir, share) + userdom_admin_home_dir_filetrans($1, config_home_t, dir, .xine) + userdom_admin_home_dir_filetrans($1, cache_home_t, dir, .cache) + userdom_admin_home_dir_filetrans($1, config_home_t, dir, .kde) + userdom_admin_home_dir_filetrans($1, gconf_home_t, dir, .gconf) + userdom_admin_home_dir_filetrans($1, gconf_home_t, dir, .gconfd) + userdom_admin_home_dir_filetrans($1, gconf_home_t, dir, .local) + userdom_admin_home_dir_filetrans($1, gnome_home_t, dir, .gnome2) + userdom_admin_home_dir_filetrans($1, gstreamer_home_t, dir, .gstreamer-10) + userdom_admin_home_dir_filetrans($1, gstreamer_home_t, dir, .gstreamer-12) + dev_filetrans($1, devpts_t, dir, pts) + userdom_user_home_dir_filetrans($1, httpd_user_content_t, dir, public_html) + userdom_user_home_dir_filetrans($1, httpd_user_content_t, dir, www) + userdom_user_home_dir_filetrans($1, httpd_user_content_t, dir, web) + userdom_admin_home_dir_filetrans($1, ssh_home_t, dir, .ssh) + userdom_admin_home_dir_filetrans($1, ssh_home_t, dir, .shosts) + userdom_user_home_dir_filetrans($1, ssh_home_t, dir, .ssh) + userdom_user_home_dir_filetrans($1, ssh_home_t, dir, .shosts) + userdom_user_home_dir_filetrans($1, virt_home_t, dir, .libvirt) + userdom_user_home_dir_filetrans($1, virt_home_t, dir, .virtinst) +# userdom_user_home_dir_filetrans($1, user_fonts_t, dir, .fonts.d) +# userdom_user_home_dir_filetrans($1, user_fonts_t, dir, .fonts) +# userdom_user_home_dir_filetrans($1, user_fonts_cache_t, dir, .fontconfig) + userdom_user_home_dir_filetrans($1, user_fonts_config_t, dir, .fonts.d) + userdom_user_home_dir_filetrans($1, user_fonts_t, dir, .fonts) + userdom_user_home_dir_filetrans($1, user_fonts_cache_t, dir, .fontconfig) + filetrans_pattern($1, user_fonts_t, user_fonts_cache_t, dir, auto) + userdom_user_home_dir_filetrans($1, config_home_t, file, .Xdefaults) + userdom_admin_home_dir_filetrans($1, config_home_t, file, .Xdefaults) + 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, usb_device_t, chr_file, 000) + filetrans_pattern($1, device_t, usb_device_t, chr_file, 001) + filetrans_pattern($1, device_t, usb_device_t, chr_file, 002) + filetrans_pattern($1, device_t, usb_device_t, chr_file, 003) + filetrans_pattern($1, device_t, usb_device_t, chr_file, 004) + filetrans_pattern($1, device_t, usb_device_t, chr_file, 005) + filetrans_pattern($1, device_t, usb_device_t, chr_file, 006) + filetrans_pattern($1, device_t, usb_device_t, chr_file, 007) + filetrans_pattern($1, device_t, usb_device_t, chr_file, 008) + filetrans_pattern($1, device_t, usb_device_t, chr_file, 009) + 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, mouse_device_t, chr_file, mouse0) + filetrans_pattern($1, device_t, mouse_device_t, chr_file, mouse1) + filetrans_pattern($1, device_t, mouse_device_t, chr_file, mouse2) + filetrans_pattern($1, device_t, mouse_device_t, chr_file, mouse3) + filetrans_pattern($1, device_t, mouse_device_t, chr_file, mouse4) + filetrans_pattern($1, device_t, mouse_device_t, chr_file, mouse5) + filetrans_pattern($1, device_t, mouse_device_t, chr_file, mouse6) + filetrans_pattern($1, device_t, mouse_device_t, chr_file, mouse7) + filetrans_pattern($1, device_t, mouse_device_t, chr_file, mouse8) + filetrans_pattern($1, device_t, mouse_device_t, chr_file, mouse9) + 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, xserver_misc_device_t, chr_file, nvidiactl) + 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, winradio0) + filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio1) + filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio2) + filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio3) + filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio4) + filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio5) + filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio6) + filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio7) + filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio8) + filetrans_pattern($1, device_t, v4l_device_t, chr_file, winradio9) + 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_filetrans($1, tape_device_t, chr_file, ht00) + dev_filetrans($1, tape_device_t, chr_file, ht01) + dev_filetrans($1, tape_device_t, chr_file, ht02) + dev_filetrans($1, tape_device_t, chr_file, ht03) + dev_filetrans($1, tape_device_t, chr_file, ht04) + dev_filetrans($1, tape_device_t, chr_file, ht05) + dev_filetrans($1, tape_device_t, chr_file, ht06) + dev_filetrans($1, tape_device_t, chr_file, ht07) + dev_filetrans($1, tape_device_t, chr_file, ht08) + dev_filetrans($1, tape_device_t, chr_file, ht09) + dev_filetrans($1, tape_device_t, chr_file, st00) + dev_filetrans($1, tape_device_t, chr_file, st01) + dev_filetrans($1, tape_device_t, chr_file, st02) + dev_filetrans($1, tape_device_t, chr_file, st03) + dev_filetrans($1, tape_device_t, chr_file, st04) + dev_filetrans($1, tape_device_t, chr_file, st05) + dev_filetrans($1, tape_device_t, chr_file, st06) + dev_filetrans($1, tape_device_t, chr_file, st07) + dev_filetrans($1, tape_device_t, chr_file, st08) + dev_filetrans($1, tape_device_t, chr_file, st09) + dev_filetrans($1, tape_device_t, chr_file, qft0) + dev_filetrans($1, tape_device_t, chr_file, qft1) + dev_filetrans($1, tape_device_t, chr_file, qft2) + dev_filetrans($1, tape_device_t, chr_file, qft3) + dev_filetrans($1, tape_device_t, chr_file, osst00) + dev_filetrans($1, tape_device_t, chr_file, osst01) + dev_filetrans($1, tape_device_t, chr_file, osst02) + dev_filetrans($1, tape_device_t, chr_file, osst03) + dev_filetrans($1, tape_device_t, chr_file, osst04) + dev_filetrans($1, tape_device_t, chr_file, osst05) + dev_filetrans($1, tape_device_t, chr_file, osst06) + dev_filetrans($1, tape_device_t, chr_file, osst07) + dev_filetrans($1, tape_device_t, chr_file, osst08) + dev_filetrans($1, tape_device_t, chr_file, osst09) + dev_filetrans($1, tape_device_t, chr_file, pt0) + dev_filetrans($1, tape_device_t, chr_file, pt1) + dev_filetrans($1, tape_device_t, chr_file, pt2) + dev_filetrans($1, tape_device_t, chr_file, pt3) + dev_filetrans($1, tape_device_t, chr_file, pt4) + dev_filetrans($1, tape_device_t, chr_file, pt5) + dev_filetrans($1, tape_device_t, chr_file, pt6) + dev_filetrans($1, tape_device_t, chr_file, pt7) + dev_filetrans($1, tape_device_t, chr_file, pt8) + dev_filetrans($1, tape_device_t, chr_file, pt9) + dev_filetrans($1, tape_device_t, chr_file, tpqic0) + dev_filetrans($1, tape_device_t, chr_file, tpqic1) + dev_filetrans($1, tape_device_t, chr_file, tpqic2) + dev_filetrans($1, tape_device_t, chr_file, tpqic3) + dev_filetrans($1, tape_device_t, chr_file, tpqic4) + dev_filetrans($1, tape_device_t, chr_file, tpqic5) + dev_filetrans($1, tape_device_t, chr_file, tpqic6) + dev_filetrans($1, tape_device_t, chr_file, tpqic7) + dev_filetrans($1, tape_device_t, chr_file, tpqic8) + dev_filetrans($1, tape_device_t, chr_file, tpqic9) + dev_filetrans($1, removable_device_t, blk_file, aztcd) + dev_filetrans($1, removable_device_t, blk_file, bpcd) + dev_filetrans($1, removable_device_t, blk_file, cdu0) + dev_filetrans($1, removable_device_t, blk_file, cdu1) + dev_filetrans($1, removable_device_t, blk_file, cdu2) + dev_filetrans($1, removable_device_t, blk_file, cdu3) + dev_filetrans($1, removable_device_t, blk_file, cdu4) + dev_filetrans($1, removable_device_t, blk_file, cdu5) + dev_filetrans($1, removable_device_t, blk_file, cdu6) + dev_filetrans($1, removable_device_t, blk_file, cdu7) + dev_filetrans($1, removable_device_t, blk_file, cdu8) + dev_filetrans($1, removable_device_t, blk_file, cdu9) + dev_filetrans($1, removable_device_t, blk_file, cm200) + dev_filetrans($1, removable_device_t, blk_file, cm201) + dev_filetrans($1, removable_device_t, blk_file, cm202) + dev_filetrans($1, removable_device_t, blk_file, cm203) + dev_filetrans($1, removable_device_t, blk_file, cm204) + dev_filetrans($1, removable_device_t, blk_file, cm205) + dev_filetrans($1, removable_device_t, blk_file, cm206) + dev_filetrans($1, removable_device_t, blk_file, cm207) + dev_filetrans($1, removable_device_t, blk_file, cm208) + dev_filetrans($1, removable_device_t, blk_file, cm209) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda0) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda1) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda2) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda3) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda4) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda5) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda6) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda7) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda8) + dev_filetrans($1, fixed_disk_device_t, blk_file, sda9) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb0) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb1) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb2) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb3) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb4) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb5) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb6) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb7) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb8) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdb9) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc0) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc1) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc2) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc3) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc4) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc5) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc6) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc7) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc8) + dev_filetrans($1, fixed_disk_device_t, blk_file, sdc9) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-0) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-1) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-2) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-3) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-4) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-5) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-6) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-7) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-8) + dev_filetrans($1, fixed_disk_device_t, blk_file, dm-9) + dev_filetrans($1, removable_device_t, blk_file, gscd) + dev_filetrans($1, removable_device_t, blk_file, hitcd) + dev_filetrans($1, tape_device_t, blk_file, ht0) + dev_filetrans($1, tape_device_t, blk_file, ht1) + dev_filetrans($1, removable_device_t, blk_file, hwcdrom) + dev_filetrans($1, fixed_disk_device_t, blk_file, initrd) + dev_filetrans($1, fixed_disk_device_t, blk_file, jsfd) + dev_filetrans($1, fixed_disk_device_t, chr_file, jsflash) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop0) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop1) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop2) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop3) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop4) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop5) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop6) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop7) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop8) + dev_filetrans($1, fixed_disk_device_t, blk_file, loop9) + dev_filetrans($1, fixed_disk_device_t, chr_file, lvm) + dev_filetrans($1, removable_device_t, blk_file, mcd) + dev_filetrans($1, removable_device_t, blk_file, mcdx) + dev_filetrans($1, removable_device_t, chr_file, megadev0) + dev_filetrans($1, removable_device_t, chr_file, megadev1) + dev_filetrans($1, removable_device_t, chr_file, megadev2) + dev_filetrans($1, removable_device_t, chr_file, megadev3) + dev_filetrans($1, removable_device_t, chr_file, megadev4) + dev_filetrans($1, removable_device_t, chr_file, megadev5) + dev_filetrans($1, removable_device_t, chr_file, megadev6) + dev_filetrans($1, removable_device_t, chr_file, megadev7) + dev_filetrans($1, removable_device_t, chr_file, megadev8) + dev_filetrans($1, removable_device_t, chr_file, megadev9) + dev_filetrans($1, removable_device_t, blk_file, mmcblk0) + dev_filetrans($1, removable_device_t, blk_file, mmcblk1) + dev_filetrans($1, removable_device_t, blk_file, mmcblk2) + dev_filetrans($1, removable_device_t, blk_file, mmcblk3) + dev_filetrans($1, removable_device_t, blk_file, mmcblk4) + dev_filetrans($1, removable_device_t, blk_file, mmcblk5) + dev_filetrans($1, removable_device_t, blk_file, mmcblk6) + dev_filetrans($1, removable_device_t, blk_file, mmcblk7) + dev_filetrans($1, removable_device_t, blk_file, mmcblk8) + dev_filetrans($1, removable_device_t, blk_file, mmcblk9) + dev_filetrans($1, removable_device_t, blk_file, mspblk0) + dev_filetrans($1, removable_device_t, blk_file, mspblk1) + dev_filetrans($1, removable_device_t, blk_file, mspblk2) + dev_filetrans($1, removable_device_t, blk_file, mspblk3) + dev_filetrans($1, removable_device_t, blk_file, mspblk4) + dev_filetrans($1, removable_device_t, blk_file, mspblk5) + dev_filetrans($1, removable_device_t, blk_file, mspblk6) + dev_filetrans($1, removable_device_t, blk_file, mspblk7) + dev_filetrans($1, removable_device_t, blk_file, mspblk8) + dev_filetrans($1, removable_device_t, blk_file, mspblk9) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd0) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd1) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd2) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd3) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd4) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd5) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd6) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd7) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd8) + dev_filetrans($1, fixed_disk_device_t, blk_file, mtd9) + dev_filetrans($1, removable_device_t, blk_file, optcd) + dev_filetrans($1, removable_device_t, blk_file, pf0) + dev_filetrans($1, removable_device_t, blk_file, pf1) + dev_filetrans($1, removable_device_t, blk_file, pf2) + dev_filetrans($1, removable_device_t, blk_file, pf3) + dev_filetrans($1, removable_device_t, blk_file, pg0) + dev_filetrans($1, removable_device_t, blk_file, pg1) + dev_filetrans($1, removable_device_t, blk_file, pg2) + dev_filetrans($1, removable_device_t, blk_file, pg3) + dev_filetrans($1, removable_device_t, blk_file, pcd0) + dev_filetrans($1, removable_device_t, blk_file, pcd1) + dev_filetrans($1, removable_device_t, blk_file, pcd2) + dev_filetrans($1, removable_device_t, blk_file, pcd3) + dev_filetrans($1, removable_device_t, chr_file, pg0) + dev_filetrans($1, removable_device_t, chr_file, pg1) + dev_filetrans($1, removable_device_t, chr_file, pg2) + dev_filetrans($1, removable_device_t, chr_file, pg3) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d0) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d1) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d2) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d3) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d4) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d5) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d6) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d7) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d8) + dev_filetrans($1, fixed_disk_device_t, blk_file, ps3d9) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram0) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram1) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram2) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram3) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram4) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram5) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram6) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram7) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram8) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram9) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram10) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram11) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram12) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram13) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram14) + dev_filetrans($1, fixed_disk_device_t, blk_file, ram15) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd0) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd1) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd2) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd3) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd4) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd5) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd6) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd7) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd8) + dev_filetrans($1, fixed_disk_device_t, blk_file, rd9) + dev_filetrans($1, fixed_disk_device_t, blk_file, root) + dev_filetrans($1, removable_device_t, blk_file, sbpcd0) + dev_filetrans($1, removable_device_t, blk_file, sbpcd1) + dev_filetrans($1, removable_device_t, blk_file, sbpcd2) + dev_filetrans($1, removable_device_t, blk_file, sbpcd3) + dev_filetrans($1, removable_device_t, blk_file, sbpcd4) + dev_filetrans($1, removable_device_t, blk_file, sbpcd5) + dev_filetrans($1, removable_device_t, blk_file, sbpcd6) + dev_filetrans($1, removable_device_t, blk_file, sbpcd7) + dev_filetrans($1, removable_device_t, blk_file, sbpcd8) + dev_filetrans($1, removable_device_t, blk_file, sbpcd9) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg0) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg1) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg2) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg3) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg4) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg5) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg6) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg7) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg8) + dev_filetrans($1, scsi_generic_device_t, chr_file, sg9) + dev_filetrans($1, removable_device_t, blk_file, sjcd) + dev_filetrans($1, removable_device_t, blk_file, sonycd) + dev_filetrans($1, tape_device_t, chr_file, tape0) + dev_filetrans($1, tape_device_t, chr_file, tape1) + dev_filetrans($1, tape_device_t, chr_file, tape2) + dev_filetrans($1, tape_device_t, chr_file, tape3) + dev_filetrans($1, tape_device_t, chr_file, tape4) + dev_filetrans($1, tape_device_t, chr_file, tape5) + dev_filetrans($1, tape_device_t, chr_file, tape6) + dev_filetrans($1, tape_device_t, chr_file, tape7) + dev_filetrans($1, tape_device_t, chr_file, tape8) + dev_filetrans($1, tape_device_t, chr_file, tape9) + dev_filetrans($1, fuse_device_t, chr_file, fuse) + dev_filetrans($1, fixed_disk_device_t, chr_file, device-mapper) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw0) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw1) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw2) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw3) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw4) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw5) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw6) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw7) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw8) + dev_filetrans($1, fixed_disk_device_t, chr_file, raw9) + dev_filetrans($1, removable_device_t, chr_file, rio500) + 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, tty_device_t, chr_file, ttyS0) + dev_filetrans($1, tty_device_t, chr_file, ttyS1) + dev_filetrans($1, tty_device_t, chr_file, ttyS2) + dev_filetrans($1, tty_device_t, chr_file, ttyS3) + dev_filetrans($1, tty_device_t, chr_file, ttyS4) + dev_filetrans($1, tty_device_t, chr_file, ttyS5) + dev_filetrans($1, tty_device_t, chr_file, ttyS6) + dev_filetrans($1, tty_device_t, chr_file, ttyS7) + dev_filetrans($1, tty_device_t, chr_file, ttyS8) + dev_filetrans($1, tty_device_t, chr_file, ttyS9) + 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, 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) + files_etc_filetrans($1, krb5_keytab_t, file, $2) + files_tmp_filetrans($1, krb5_host_rcache_t, file, $2) + userdom_admin_home_dir_filetrans($1, kerberos_home_t, file, .k5login) + userdom_user_home_dir_filetrans($1, kerberos_home_t, file, .k5login) + files_etc_filetrans($1, krb5_conf_t, file, krb5.conf) + filetrans_pattern($1, krb5kdc_conf_t, krb5_keytab_t, file, kadm5.keytab) + filetrans_pattern($1, krb5kdc_conf_t, krb5kdc_principal_t, file, principal) + filetrans_pattern($1, krb5kdc_conf_t, krb5kdc_principal_t, file, principal0) + filetrans_pattern($1, krb5kdc_conf_t, krb5kdc_principal_t, file, principal1) + #filetrans_pattern($1, krb5kdc_conf_t, krb5kdc_principal_t, file, principal1) + files_etc_filetrans($1, etc_aliases_t, file, $2) + userdom_admin_home_dir_filetrans($1, mail_home_t, file, dead.letter) + userdom_admin_home_dir_filetrans($1, mail_home_t, file, .forward) + userdom_user_home_dir_filetrans($1, mail_home_t, file, dead.letter) + userdom_user_home_dir_filetrans($1, mail_home_t, file, .forward) + userdom_user_home_dir_filetrans($2, iceauth_home_t, file, .DCOP) + userdom_user_home_dir_filetrans($2, iceauth_home_t, file, .ICEauthority) + userdom_user_home_dir_filetrans($2, xauth_home_t, file, .Xauthority) + userdom_user_home_dir_filetrans($2, xauth_home_t, file, .xauth) + userdom_user_home_dir_filetrans($2, xdm_home_t, file, .xsession-errors) + userdom_user_home_dir_filetrans($2, xdm_home_t, file, .dmrc) + userdom_user_home_dir_filetrans($1, xdm_home_t, file, .dmrc) + userdom_user_home_dir_filetrans($1, xdm_home_t, file, .xsession-errors) + userdom_user_home_dir_filetrans($1, iceauth_home_t, file, .DCOP) + userdom_user_home_dir_filetrans($1, iceauth_home_t, file, .ICEauthority) + userdom_user_home_dir_filetrans($1, xauth_home_t, file, .Xauthority) + userdom_user_home_dir_filetrans($1, xauth_home_t, file, .xauth) + userdom_user_home_dir_filetrans($1, xauth_home_t, file, .Xauth) + userdom_user_home_dir_filetrans($1, user_fonts_config_t, file, .fonts.conf) + files_etc_filetrans($1, net_conf_t, file, $2)
Attachment:
names.sig
Description: PGP signature
