1type irqbalance, domain, device_domain_deprecated; 2type irqbalance_exec, exec_type, file_type; 3 4init_daemon_domain(irqbalance); 5 6allow irqbalance sysfs_devices_system_cpu:file rw_file_perms; 7allow irqbalance proc_irq:dir r_dir_perms; 8allow irqbalance proc_irq:file rw_file_perms; 9 10allow irqbalance proc_stat:file r_file_perms; 11allow irqbalance proc_interrupts:file r_file_perms; 12