blob: b2788d5d536280a55733d3b43a764eb05bb3c7b1 [file] [log] [blame]
Simon Glass4b0730d2011-09-26 14:10:39 +00001/*
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>
Simon Glass7a9219c2011-10-03 19:26:44 +000023#include <os.h>
Simon Glass4b0730d2011-09-26 14:10:39 +000024
25DECLARE_GLOBAL_DATA_PTR;
26
27int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
28{
Simon Glass7a9219c2011-10-03 19:26:44 +000029 /* This is considered normal termination for now */
30 os_exit(0);
Simon Glass4b0730d2011-09-26 14:10:39 +000031 return 0;
32}
33
34/* delay x useconds */
35void __udelay(unsigned long usec)
36{
Matthias Weisserd99a6872011-11-29 12:16:40 +010037 os_usleep(usec);
Simon Glass4b0730d2011-09-26 14:10:39 +000038}
39
40unsigned long timer_get_us(void)
41{
Matthias Weisserd99a6872011-11-29 12:16:40 +010042 return os_get_nsec() / 1000;
Simon Glass4b0730d2011-09-26 14:10:39 +000043}
44
45int do_bootm_linux(int flag, int argc, char *argv[], bootm_headers_t *images)
46{
47 return -1;
48}
49
50int cleanup_before_linux(void)
51{
52 return 0;
53}
54
55void *map_physmem(phys_addr_t paddr, unsigned long len, unsigned long flags)
56{
Simon Glass8ee666a2012-12-13 20:49:11 +000057 return (void *)(gd->arch.ram_buf + paddr);
Simon Glass4b0730d2011-09-26 14:10:39 +000058}
59
60void flush_dcache_range(unsigned long start, unsigned long stop)
61{
62}