mirror of https://github.com/YosysHQ/picorv32.git
37 lines
577 B
C
37 lines
577 B
C
|
|
#include "firmware.h"
|
|
|
|
#define OUTPORT 0x10000000
|
|
|
|
void print_chr(char ch)
|
|
{
|
|
*((volatile uint32_t*)OUTPORT) = ch;
|
|
}
|
|
|
|
void print_str(const char *p)
|
|
{
|
|
while (*p != 0)
|
|
*((volatile uint32_t*)OUTPORT) = *(p++);
|
|
}
|
|
|
|
void print_dec(int val)
|
|
{
|
|
char buffer[10];
|
|
char *p = buffer;
|
|
while (val || p == buffer) {
|
|
*(p++) = val % 10;
|
|
val = val / 10;
|
|
}
|
|
while (p != buffer) {
|
|
*((volatile uint32_t*)OUTPORT) = '0' + *(--p);
|
|
}
|
|
}
|
|
|
|
void print_hex(unsigned int val)
|
|
{
|
|
int i;
|
|
for (i = 32-4; i >= 0; i -= 4)
|
|
*((volatile uint32_t*)OUTPORT) = "0123456789ABCDEF"[(val >> i) % 16];
|
|
}
|
|
|