Daniel J Walsh a72c31
console_device_t
Daniel J Walsh 80edc3
sysadm_tty_device_t
Daniel J Walsh 80edc3
user_tty_device_t
Daniel J Walsh 80edc3
staff_tty_device_t