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, "controlC0")
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, "controlC1")
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, "controlC2")
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, "controlC3")
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, "controlC4")
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, "controlC5")
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, "controlC6")
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, "controlC7")
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, "controlC8")
+ filetrans_pattern($1, device_t, sound_device_t, chr_file, "controlC9")
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")