2 * Copyright (C) 2015 Thomas Chou <thomas@wytron.com.tw>
4 * SPDX-License-Identifier: GPL-2.0+
13 /* system timer offset in ms */
14 static unsigned long sandbox_timer_offset
;
16 void sandbox_timer_add_offset(unsigned long offset
)
18 sandbox_timer_offset
+= offset
;
21 static int sandbox_timer_get_count(struct udevice
*dev
, u64
*count
)
23 *count
= os_get_nsec() / 1000 + sandbox_timer_offset
* 1000;
28 static int sandbox_timer_probe(struct udevice
*dev
)
33 static const struct timer_ops sandbox_timer_ops
= {
34 .get_count
= sandbox_timer_get_count
,
37 static const struct udevice_id sandbox_timer_ids
[] = {
38 { .compatible
= "sandbox,timer" },
42 U_BOOT_DRIVER(sandbox_timer
) = {
43 .name
= "sandbox_timer",
45 .of_match
= sandbox_timer_ids
,
46 .probe
= sandbox_timer_probe
,
47 .ops
= &sandbox_timer_ops
,
48 .flags
= DM_FLAG_PRE_RELOC
,