| # Device types |
| type device, dev_type, fs_type; |
| type akm_device, dev_type; |
| type accelerometer_device, dev_type; |
| type alarm_device, dev_type, mlstrustedobject; |
| type adb_device, dev_type; |
| type ashmem_device, dev_type, mlstrustedobject; |
| type audio_device, dev_type; |
| type binder_device, dev_type, mlstrustedobject; |
| type block_device, dev_type; |
| type camera_device, dev_type; |
| type dm_device, dev_type; |
| type loop_device, dev_type; |
| type radio_device, dev_type; |
| type ram_device, dev_type; |
| type console_device, dev_type; |
| type cpuctl_device, dev_type; |
| type full_device, dev_type; |
| type graphics_device, dev_type; |
| type input_device, dev_type; |
| type kmem_device, dev_type; |
| type log_device, dev_type, mlstrustedobject; |
| type mtd_device, dev_type; |
| type mtp_device, dev_type, mlstrustedobject; |
| type nfc_device, dev_type; |
| type nv_device, dev_type, mlstrustedobject; |
| type powervr_device, dev_type, mlstrustedobject; |
| type ptmx_device, dev_type, mlstrustedobject; |
| type qemu_device, dev_type; |
| type kmsg_device, dev_type; |
| type null_device, dev_type, mlstrustedobject; |
| type random_device, dev_type; |
| type serial_device, dev_type; |
| type socket_device, dev_type; |
| type tty_device, dev_type; |
| type urandom_device, dev_type; |
| type video_device, dev_type; |
| type vcs_device, dev_type; |
| type zero_device, dev_type; |
