]>
Commit | Line | Data |
---|---|---|
4b0730d2 SG |
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> | |
7a9219c1 | 23 | #include <os.h> |
4b0730d2 SG |
24 | |
25 | DECLARE_GLOBAL_DATA_PTR; | |
26 | ||
27 | int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]) | |
28 | { | |
7a9219c1 SG |
29 | /* This is considered normal termination for now */ |
30 | os_exit(0); | |
4b0730d2 SG |
31 | return 0; |
32 | } | |
33 | ||
34 | /* delay x useconds */ | |
35 | void __udelay(unsigned long usec) | |
36 | { | |
d99a6874 | 37 | os_usleep(usec); |
4b0730d2 SG |
38 | } |
39 | ||
40 | unsigned long timer_get_us(void) | |
41 | { | |
d99a6874 | 42 | return os_get_nsec() / 1000; |
4b0730d2 SG |
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 | { | |
8ee666a7 | 57 | return (void *)(gd->arch.ram_buf + paddr); |
4b0730d2 SG |
58 | } |
59 | ||
60 | void flush_dcache_range(unsigned long start, unsigned long stop) | |
61 | { | |
62 | } |