Remove unneeded device type.

timerirq_device has been removed in favor
of using the existing sensors_device domain.

Change-Id: I503e4a511c2901890356559c0afb971392b4ec6f
Signed-off-by: rpcraig <rpcraig@tycho.ncsc.mil>

1 files changed, 0 insertions, 1 deletions

diff --git a/device.te b/device.te
index eb416d9..f351c44 100644
--- a/device.te
+++ b/device.te
@@ -33,7 +33,6 @@ type random_device, dev_type;
 type sensors_device, dev_type;
 type serial_device, dev_type;
 type socket_device, dev_type;
-type timerirq_device, dev_type;
 type tty_device, dev_type;
 type urandom_device, dev_type;
 type video_device, dev_type;