1 2 3 4 5 6 7 8 9
#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)); }