1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
/*
* SPDX-License-Identifier: BSD-2-Clause
*
* Copyright (c) 2020 Western Digital Corporation or its affiliates.
*
* Authors:
* Anup Patel <anup.patel@wdc.com>
*/
#include <sbi/sbi_scratch.h>
#include <sbi_utils/fdt/fdt_helper.h>
#include <sbi_utils/timer/fdt_timer.h>
extern struct fdt_timer fdt_timer_clint;
static struct fdt_timer *timer_drivers[] = {
&fdt_timer_clint
};
static u64 dummy_value(void)
{
return 0;
}
static void dummy_event_stop(void)
{
}
static void dummy_event_start(u64 next_event)
{
}
static struct fdt_timer dummy = {
.match_table = NULL,
.cold_init = NULL,
.warm_init = NULL,
.exit = NULL,
.value = dummy_value,
.event_stop = dummy_event_stop,
.event_start = dummy_event_start
};
static struct fdt_timer *current_driver = &dummy;
u64 fdt_timer_value(void)
{
return current_driver->value();
}
void fdt_timer_event_stop(void)
{
current_driver->event_stop();
}
void fdt_timer_event_start(u64 next_event)
{
current_driver->event_start(next_event);
}
void fdt_timer_exit(void)
{
if (current_driver->exit)
current_driver->exit();
}
static int fdt_timer_warm_init(void)
{
if (current_driver->warm_init)
return current_driver->warm_init();
return 0;
}
static int fdt_timer_cold_init(void)
{
int pos, noff, rc;
struct fdt_timer *drv;
const struct fdt_match *match;
void *fdt = sbi_scratch_thishart_arg1_ptr();
for (pos = 0; pos < array_size(timer_drivers); pos++) {
drv = timer_drivers[pos];
noff = fdt_find_match(fdt, drv->match_table, &match);
if (noff < 0)
continue;
if (drv->cold_init) {
rc = drv->cold_init(fdt, noff, match);
if (rc)
return rc;
}
current_driver = drv;
break;
}
return 0;
}
int fdt_timer_init(bool cold_boot)
{
int rc;
if (cold_boot) {
rc = fdt_timer_cold_init();
if (rc)
return rc;
}
return fdt_timer_warm_init();
}
|
