dev_is_platform   322 drivers/acpi/glue.c 	if (dev_is_platform(dev))
dev_is_platform   227 drivers/char/ipmi/ipmi_si_hotmod.c 			if (dev && dev_is_platform(dev)) {