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