1 /* 2 * bios 32 replacement 3 */ 4 unsigned long bios32_init(unsigned long memory_start, unsigned long memory_end) /* */ 5 { 6 return memory_start; 7 }