blob: d7a8048567e82d45439e6526bbc26c4e8dbfd193 [file] [log] [blame]
#include "e7520.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);
//print_debug("memory_initialized: DRC: ");
//print_debug_hex32(drc);
//print_debug("\n");
return (drc & (1<<29));
}