DEVICE_SD        1548 drivers/mmc/host/wbsd.c 	wbsd_write_config(host, WBSD_CONF_DEVICE, DEVICE_SD);
DEVICE_SD        1588 drivers/mmc/host/wbsd.c 	wbsd_write_config(host, WBSD_CONF_DEVICE, DEVICE_SD);
DEVICE_SD        1623 drivers/mmc/host/wbsd.c 	wbsd_write_config(host, WBSD_CONF_DEVICE, DEVICE_SD);