8 lines
111 B
C
8 lines
111 B
C
|
#ifndef _SPIKE_MEMORY_H_
|
||
|
#define _SPIKE_MEMORY_H_
|
||
|
|
||
|
#include "util/types.h"
|
||
|
void query_mem(uint64 fdt);
|
||
|
|
||
|
#endif
|