1#include <compiler/core.h>
2#include <stdbool.h>
3#include <stdint.h>
4void sleep_spin(uint64_t seconds);
5void sleep_spin_us(uint64_t us);
6void sleep_spin_ms(uint64_t msec);
7bool mmio_spin_wait(uint32_t cc_mem_io *reg, uint32_t mask, uint64_t timeout);
8#pragma once
9