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;