firmware/ice40-riscv/e1-tracer/misc.h

/*
 * misc.h
 *
 * Copyright (C) 2019-2020  Sylvain Munaut <tnt@246tNt.com>
 * SPDX-License-Identifier: GPL-3.0-or-later
 */

#pragma once

#include <stdbool.h>
#include <stdint.h>

void e1_tick_read(uint16_t *ticks);

void reboot(int fw);