picorv32/firmware/firmware.h

37 lines
862 B
C
Raw Normal View History

// This is free and unencumbered software released into the public domain.
2015-07-02 04:49:35 -04:00
//
// Anyone is free to copy, modify, publish, use, compile, sell, or
// distribute this software, either in source code form or as a compiled
// binary, for any purpose, commercial or non-commercial, and by any
// means.
2015-06-26 16:02:22 -04:00
#ifndef FIRMWARE_H
#define FIRMWARE_H
#include <stdint.h>
#include <stdbool.h>
// irq.c
uint32_t *irq(uint32_t *regs, uint32_t irqs);
// print.c
void print_chr(char ch);
void print_str(const char *p);
void print_dec(unsigned int val);
void print_hex(unsigned int val, int digits);
2015-06-26 16:02:22 -04:00
// sieve.c
void sieve(void);
2015-06-26 16:02:22 -04:00
// multest.c
uint32_t hard_mul(uint32_t a, uint32_t b);
uint32_t hard_mulh(uint32_t a, uint32_t b);
uint32_t hard_mulhsu(uint32_t a, uint32_t b);
uint32_t hard_mulhu(uint32_t a, uint32_t b);
void multest(void);
2015-06-26 16:02:22 -04:00
// stats.c
void stats(void);
2015-06-26 16:02:22 -04:00
#endif