BUG_ON(host->config == 0);  
static inline void wbsd_lock_config(struct wbsd_host* host){	outb(LOCK_CODE, host->config);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/85bcc13072c54592596c5b41d40d1c6a18b04e19/wbsd.c/clean/drivers/mmc/wbsd.c