1
2
3
4
5
6#include <common.h>
7#include <os.h>
8#include <asm/state.h>
9
10DECLARE_GLOBAL_DATA_PTR;
11
12void reset_cpu(ulong ignored)
13{
14 if (state_uninit())
15 os_exit(2);
16
17
18 os_exit(0);
19}
20
21int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
22{
23 reset_cpu(0);
24
25 return 0;
26}
27
28
29void __udelay(unsigned long usec)
30{
31 os_usleep(usec);
32}
33
34unsigned long __attribute__((no_instrument_function)) timer_get_us(void)
35{
36 return os_get_nsec() / 1000;
37}
38
39int do_bootm_linux(int flag, int argc, char *argv[], bootm_headers_t *images)
40{
41 if (flag & (BOOTM_STATE_OS_GO | BOOTM_STATE_OS_FAKE_GO)) {
42 bootstage_mark(BOOTSTAGE_ID_RUN_OS);
43 printf("## Transferring control to Linux (at address %08lx)...\n",
44 images->ep);
45 reset_cpu(0);
46 }
47
48 return 0;
49}
50
51int cleanup_before_linux(void)
52{
53 return 0;
54}
55
56void *map_physmem(phys_addr_t paddr, unsigned long len, unsigned long flags)
57{
58 return (void *)(gd->arch.ram_buf + paddr);
59}
60
61phys_addr_t map_to_sysmem(void *ptr)
62{
63 return (u8 *)ptr - gd->arch.ram_buf;
64}
65
66void flush_dcache_range(unsigned long start, unsigned long stop)
67{
68}
69