https 1#@!#!123s

: sys / kernel / software_nodes / node0 / dmi-ipmi-si.0 / driver / IPI0001:00 / 

Filename : interrupts_enabled
back