diff --git a/device.te b/device.te
index eb416d9691f2fcd867f8e366e070b9ff2522eb45..f351c44962b314439991dc0db8f56b23a372675e 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;
diff --git a/system.te b/system.te
index 451eb63a2375ab6296425fe9d59ebbada7e8f37f..b1adf65f687836af7b29ba7c89b04de7119cd1d2 100644
--- a/system.te
+++ b/system.te
@@ -230,5 +230,5 @@ allow system cache_backup_file:dir { relabelto relabelfrom create_dir_perms };
 allow system usb_device:chr_file rw_file_perms;
 allow system usb_device:dir r_dir_perms;
 
-# Allow system to talk to sensors and timer irq
-allow system { sensors_device timerirq_device }:chr_file rw_file_perms;
+# Allow system to talk to sensors
+allow system sensors_device:chr_file rw_file_perms;