Rev 934 | Rev 1702 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
#include <typedefs.h>
size_t get_memory_size(void);
void memory_print_map(void);
#endif