/sys/kernel/irq/42/