1 /* 2 * Copyright (c) 2011 The Chromium OS Authors. 3 * SPDX-License-Identifier: GPL-2.0+ 4 */ 5 6 #include <common.h> 7 #include <os.h> 8 9 DECLARE_GLOBAL_DATA_PTR; 10 11 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]) 12 { 13 /* This is considered normal termination for now */ 14 os_exit(0); 15 return 0; 16 } 17 18 /* delay x useconds */ 19 void __udelay(unsigned long usec) 20 { 21 os_usleep(usec); 22 } 23 24 unsigned long __attribute__((no_instrument_function)) timer_get_us(void) 25 { 26 return os_get_nsec() / 1000; 27 } 28 29 int do_bootm_linux(int flag, int argc, char *argv[], bootm_headers_t *images) 30 { 31 return -1; 32 } 33 34 int cleanup_before_linux(void) 35 { 36 return 0; 37 } 38 39 void *map_physmem(phys_addr_t paddr, unsigned long len, unsigned long flags) 40 { 41 return (void *)(gd->arch.ram_buf + paddr); 42 } 43 44 phys_addr_t map_to_sysmem(void *ptr) 45 { 46 return (u8 *)ptr - gd->arch.ram_buf; 47 } 48 49 void flush_dcache_range(unsigned long start, unsigned long stop) 50 { 51 } 52