/* SPDX-License-Identifier: GPL-2.0+ */ /* * Copyright (C) 2012 Stefan Roese */ int x600_init_fpga(void);