WBSD_CONF_IRQ    1561 drivers/mmc/host/wbsd.c 	wbsd_write_config(host, WBSD_CONF_IRQ, host->irq);
WBSD_CONF_IRQ    1596 drivers/mmc/host/wbsd.c 	irq = wbsd_read_config(host, WBSD_CONF_IRQ);