|
@@ -35,7 +35,7 @@ void timer_isr(void *);
|
|
|
typedef void (timer_fnc_t) (void);
|
|
|
int register_timer_isr (timer_fnc_t *isr_func);
|
|
|
|
|
|
-/* Architecture specific - can be in arch/i386/cpu/, arch/i386/lib/, or $(BOARD)/ */
|
|
|
+/* Architecture specific - can be in arch/x86/cpu/, arch/x86/lib/, or $(BOARD)/ */
|
|
|
int timer_init(void);
|
|
|
int dram_init_f(void);
|
|
|
|
|
@@ -51,7 +51,7 @@ void setup_pcat_compatibility(void);
|
|
|
void isa_unmap_rom(u32 addr);
|
|
|
u32 isa_map_rom(u32 bus_addr, int size);
|
|
|
|
|
|
-/* arch/i386/lib/... */
|
|
|
+/* arch/x86/lib/... */
|
|
|
int video_bios_init(void);
|
|
|
int video_init(void);
|
|
|
|