1/* 2 * (C) Copyright 2002 3 * Daniel Engström, Omicron Ceti AB, daniel@omicron.se. 4 * 5 * SPDX-License-Identifier: GPL-2.0+ 6 */ 7 8#ifndef _U_BOOT_I386_H_ 9#define _U_BOOT_I386_H_ 1 10 11extern char gdt_rom[]; 12 13/* cpu/.../cpu.c */ 14int arch_cpu_init(void); 15int x86_cpu_init_f(void); 16int cpu_init_f(void); 17void setup_gdt(gd_t *id, u64 *gdt_addr); 18/* 19 * Setup FSP execution environment GDT to use the one we used in 20 * arch/x86/cpu/start16.S and reload the segment registers. 21 */ 22void setup_fsp_gdt(void); 23int init_cache(void); 24int cleanup_before_linux(void); 25 26/* cpu/.../timer.c */ 27void timer_isr(void *); 28typedef void (timer_fnc_t) (void); 29int register_timer_isr (timer_fnc_t *isr_func); 30unsigned long get_tbclk_mhz(void); 31void timer_set_base(uint64_t base); 32int i8254_init(void); 33 34/* cpu/.../interrupts.c */ 35int cpu_init_interrupts(void); 36 37int cleanup_before_linux(void); 38int x86_cleanup_before_linux(void); 39void x86_enable_caches(void); 40void x86_disable_caches(void); 41int x86_init_cache(void); 42void reset_cpu(ulong addr); 43ulong board_get_usable_ram_top(ulong total_size); 44void dram_init_banksize(void); 45int default_print_cpuinfo(void); 46 47/* Set up a UART which can be used with printch(), printhex8(), etc. */ 48int setup_internal_uart(int enable); 49 50void setup_pcat_compatibility(void); 51 52void isa_unmap_rom(u32 addr); 53u32 isa_map_rom(u32 bus_addr, int size); 54 55/* arch/x86/lib/... */ 56int video_bios_init(void); 57 58/* arch/x86/lib/fsp/... */ 59int x86_fsp_init(void); 60 61void board_init_f_r_trampoline(ulong) __attribute__ ((noreturn)); 62void board_init_f_r(void) __attribute__ ((noreturn)); 63 64int arch_misc_init(void); 65 66/* Read the time stamp counter */ 67static inline __attribute__((no_instrument_function)) 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/... */ 75void timer_set_tsc_base(uint64_t new_base); 76uint64_t timer_get_tsc(void); 77 78void quick_ram_check(void); 79 80#define PCI_VGA_RAM_IMAGE_START 0xc0000 81 82#endif /* _U_BOOT_I386_H_ */ 83