firmware/ice40-riscv/icE1usb/usb_gpsdo.h

/*
 * usb_gpsdo.h
 *
 * Copyright (C) 2022  Harald Welte <laforge@osmocom.org>
 * SPDX-License-Identifier: GPL-3.0-or-later
 */

#pragma once

void usb_gpsdo_init(void);