1/* Convert to C by yhlu */ 2#define MCH_DRC 0x7c 3#define DRC_DONE (1 << 29) 4 /* If I have already booted once skip a bunch of initialization */ 5 /* To see if I have already booted I check to see if memory 6 * has been enabled. 7 */ 8static int bios_reset_detected(void) { 9 uint32_t dword; 10 11 dword = pci_read_config32(PCI_DEV(0, 0, 0), MCH_DRC); 12 13 if( (dword & DRC_DONE) != 0 ) { 14 return 1; 15 } 16 17 return 0; 18} 19

