SI_DEVICETREE 17 drivers/char/ipmi/ipmi_si_parisc.c io.addr_source = SI_DEVICETREE; SI_DEVICETREE 275 drivers/char/ipmi/ipmi_si_platform.c io.addr_source = SI_DEVICETREE;