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
|
/*
* Copyright (C) 2015 Thomas Chou <thomas@wytron.com.tw>
*
* SPDX-License-Identifier: GPL-2.0+
*/
#include <common.h>
#include <dm.h>
#include <errno.h>
#include <timer.h>
#include <os.h>
#define SANDBOX_TIMER_RATE 1000000
/* system timer offset in ms */
static unsigned long sandbox_timer_offset;
void sandbox_timer_add_offset(unsigned long offset)
{
sandbox_timer_offset += offset;
}
u64 notrace timer_early_get_count(void)
{
return os_get_nsec() / 1000 + sandbox_timer_offset * 1000;
}
unsigned long notrace timer_early_get_rate(void)
{
return SANDBOX_TIMER_RATE;
}
static notrace int sandbox_timer_get_count(struct udevice *dev, u64 *count)
{
*count = timer_early_get_count();
return 0;
}
static int sandbox_timer_probe(struct udevice *dev)
{
struct timer_dev_priv *uc_priv = dev_get_uclass_priv(dev);
if (!uc_priv->clock_rate)
uc_priv->clock_rate = SANDBOX_TIMER_RATE;
return 0;
}
static const struct timer_ops sandbox_timer_ops = {
.get_count = sandbox_timer_get_count,
};
static const struct udevice_id sandbox_timer_ids[] = {
{ .compatible = "sandbox,timer" },
{ }
};
U_BOOT_DRIVER(sandbox_timer) = {
.name = "sandbox_timer",
.id = UCLASS_TIMER,
.of_match = sandbox_timer_ids,
.probe = sandbox_timer_probe,
.ops = &sandbox_timer_ops,
.flags = DM_FLAG_PRE_RELOC,
};
/* This is here in case we don't have a device tree */
U_BOOT_DEVICE(sandbox_timer_non_fdt) = {
.name = "sandbox_timer",
};
|
