int_deb            77 drivers/gpio/gpio-dwapb.c 	u32 int_deb;
int_deb           775 drivers/gpio/gpio-dwapb.c 			ctx->int_deb	= dwapb_read(gpio, GPIO_PORTA_DEBOUNCE);
int_deb           820 drivers/gpio/gpio-dwapb.c 			dwapb_write(gpio, GPIO_PORTA_DEBOUNCE, ctx->int_deb);