#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));
}