1 /* 2 * Copyright (c) 2011 The Chromium OS Authors. 3 * See file CREDITS for list of people who contributed to this 4 * project. 5 * 6 * This program is free software; you can redistribute it and/or 7 * modify it under the terms of the GNU General Public License as 8 * published by the Free Software Foundation; either version 2 of 9 * the License, or (at your option) any later version. 10 * 11 * This program is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with this program; if not, write to the Free Software 18 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, 19 * MA 02111-1307 USA 20 */ 21 22 #include <common.h> 23 #include <os.h> 24 25 DECLARE_GLOBAL_DATA_PTR; 26 27 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]) 28 { 29 /* This is considered normal termination for now */ 30 os_exit(0); 31 return 0; 32 } 33 34 /* delay x useconds */ 35 void __udelay(unsigned long usec) 36 { 37 /* Ignore this for now */ 38 } 39 40 unsigned long timer_get_us(void) 41 { 42 return 0; 43 } 44 45 int do_bootm_linux(int flag, int argc, char *argv[], bootm_headers_t *images) 46 { 47 return -1; 48 } 49 50 int cleanup_before_linux(void) 51 { 52 return 0; 53 } 54 55 void *map_physmem(phys_addr_t paddr, unsigned long len, unsigned long flags) 56 { 57 return (void *)(gd->ram_buf + paddr); 58 } 59 60 void flush_dcache_range(unsigned long start, unsigned long stop) 61 { 62 } 63