1 /* 2 * (C) Copyright 2002 3 * Daniel Engström, Omicron Ceti AB, daniel@omicron.se. 4 * 5 * See file CREDITS for list of people who contributed to this 6 * project. 7 * 8 * This program is free software; you can redistribute it and/or 9 * modify it under the terms of the GNU General Public License as 10 * published by the Free Software Foundation; either version 2 of 11 * the License, or (at your option) any later version. 12 * 13 * This program is distributed in the hope that it will be useful, 14 * but WITHOUT ANY WARRANTY; without even the implied warranty of 15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16 * GNU General Public License for more details. 17 * 18 * You should have received a copy of the GNU General Public License 19 * along with this program; if not, write to the Free Software 20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, 21 * MA 02111-1307 USA 22 */ 23 24 #ifndef _U_BOOT_I386_H_ 25 #define _U_BOOT_I386_H_ 1 26 27 /* cpu/.../cpu.c */ 28 int x86_cpu_init_r(void); 29 int cpu_init_r(void); 30 int x86_cpu_init_f(void); 31 int cpu_init_f(void); 32 void init_gd(gd_t *id, u64 *gdt_addr); 33 void setup_gdt(gd_t *id, u64 *gdt_addr); 34 int init_cache(void); 35 int cleanup_before_linux(void); 36 void panic_puts(const char *str); 37 38 /* cpu/.../timer.c */ 39 void timer_isr(void *); 40 typedef void (timer_fnc_t) (void); 41 int register_timer_isr (timer_fnc_t *isr_func); 42 unsigned long get_tbclk_mhz(void); 43 void timer_set_base(uint64_t base); 44 int pcat_timer_init(void); 45 46 /* Architecture specific - can be in arch/x86/cpu/, arch/x86/lib/, or $(BOARD)/ */ 47 int dram_init_f(void); 48 49 /* cpu/.../interrupts.c */ 50 int cpu_init_interrupts(void); 51 52 /* board/.../... */ 53 int dram_init(void); 54 55 void setup_pcat_compatibility(void); 56 57 void isa_unmap_rom(u32 addr); 58 u32 isa_map_rom(u32 bus_addr, int size); 59 60 /* arch/x86/lib/... */ 61 int video_bios_init(void); 62 63 void board_init_f_r_trampoline(ulong) __attribute__ ((noreturn)); 64 void board_init_f_r(void) __attribute__ ((noreturn)); 65 66 /* Read the time stamp counter */ 67 static inline uint64_t rdtsc(void) 68 { 69 uint32_t high, low; 70 __asm__ __volatile__("rdtsc" : "=a" (low), "=d" (high)); 71 return (((uint64_t)high) << 32) | low; 72 } 73 74 /* board/... */ 75 void timer_set_tsc_base(uint64_t new_base); 76 uint64_t timer_get_tsc(void); 77 78 #endif /* _U_BOOT_I386_H_ */ 79