/* Returns non-zero if the reset button is pressed.  */
int flipper_is_reset_button_pressed(void)
/* Returns non-zero if the reset button is pressed.  */
int flipper_is_reset_button_pressed(void)
{
	void __iomem *io_base;
	u32 icr;
	if (flipper_irq_host && flipper_irq_host->host_data) {
		io_base = flipper_irq_host->host_data;
		icr = in_be32(io_base + FLIPPER_ICR);
		return !(icr & FLIPPER_ICR_RSS);
	}
	return 0;
}