| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869 |
- /*
- * Copyright (c) 2008 Travis Geiselbrecht
- *
- * Permission is hereby granted, free of charge, to any person obtaining
- * a copy of this software and associated documentation files
- * (the "Software"), to deal in the Software without restriction,
- * including without limitation the rights to use, copy, modify, merge,
- * publish, distribute, sublicense, and/or sell copies of the Software,
- * and to permit persons to whom the Software is furnished to do so,
- * subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be
- * included in all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
- * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
- * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
- * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
- * CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
- * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
- * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
- */
- #ifndef __PLATFORM_H
- #define __PLATFORM_H
- time_t current_time(void);
- bigtime_t current_time_hires(void);
- /* super early platform initialization, before almost everything */
- void platform_early_init(void);
- /* later init, after the kernel has come up */
- void platform_init(void);
- void platform_uninit(void);
- /* called by the arch init code to get the platform to set up any mmu mappings it may need */
- void platform_init_mmu_mappings(void);
- void platform_init_mmu(void);
- void display_init(void);
- void display_shutdown(void);
- void display_image_on_screen(void);
- unsigned board_machtype(void);
- unsigned board_platform_id(void);
- unsigned check_reboot_mode(void);
- void platform_uninit_timer(void);
- void reboot_device(unsigned);
- void config_L2_size(void);
- /* weakly defined function to get bootarg addr & size */
- __WEAK unsigned int platform_get_bootarg_addr(void);
- __WEAK unsigned int platform_get_bootarg_size(void);
- typedef struct { /* RAM configuration */
- unsigned int start_hi;
- unsigned int start_lo;
- unsigned int size_hi;
- unsigned int size_lo;
- } dt_dram_info;
- typedef struct {
- unsigned int size_hi;
- unsigned int size_lo;
- } dt_size_info;
- #endif
|