blob: 69bfdf32dd07a9fdabf4d09ba537b4b5dd67da8e [file] [log] [blame]
#include "e7525.h"
#define NB_DEV PCI_DEV(0, 0, 0)
static inline int memory_initialized(void)
{
uint32_t drc;
drc = pci_read_config32(NB_DEV, DRC);
return (drc & (1<<29));
}