diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-11-12 17:48:26 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-11-12 17:48:48 -0800 |
| commit | 47f9e06fc2c696dfb1054d730cde888f1ac75d07 (patch) | |
| tree | 29e15e824e6d774cfe06e3520933ae8f5e743396 /pk/pk.h | |
| parent | 9cc6732d806b4a7e4842528606fa1390e7ab0a90 (diff) | |
| download | riscv-pk-47f9e06fc2c696dfb1054d730cde888f1ac75d07.zip riscv-pk-47f9e06fc2c696dfb1054d730cde888f1ac75d07.tar.gz riscv-pk-47f9e06fc2c696dfb1054d730cde888f1ac75d07.tar.bz2 | |
Read and use devicetree -- THIS BREAKS ROCKET FOR NOW
Diffstat (limited to 'pk/pk.h')
| -rw-r--r-- | pk/pk.h | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -5,9 +5,12 @@ #ifndef __ASSEMBLER__ +#define debug_printk(s, ...) //printk(s, __VA_ARGS__) + +#include "encoding.h" #include <stdint.h> #include <string.h> -#include "encoding.h" +#include <stdarg.h> typedef struct { @@ -49,6 +52,8 @@ extern uint32_t num_harts_booted; struct mainvars* parse_args(struct mainvars*); void printk(const char* s, ...); +void printm(const char* s, ...); +int vsnprintf(char* out, size_t n, const char* s, va_list vl); int snprintf(char* out, size_t n, const char* s, ...); void init_tf(trapframe_t*, long pc, long sp, int user64); void start_user(trapframe_t* tf) __attribute__((noreturn)); |