blob: 7e3322340ec3f30e23ce59fcb717c59e4354f5b8 (
plain)
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
|
/*
* This file is part of the coreboot project.
*
* Copyright (C) 2014 Google Inc.
* Copyright (C) 2015 Intel Corporation.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; version 2 of the License.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*/
#include <stdint.h>
#include <cpu/x86/msr.h>
#include <timer.h>
#include <soc/msr.h>
static inline uint32_t read_counter_msr(void)
{
/*
* Even though the MSR is 64-bit it is assumed that the hardware
* is polled frequently enough to only use the lower 32-bits.
*/
msr_t counter_msr;
counter_msr = rdmsr(MSR_COUNTER_24_MHZ);
return counter_msr.lo;
}
void timer_monotonic_get(struct mono_time *mt)
{
/* Always increases. Don't normalize to 0 between stages. */
mono_time_set_usecs(mt, read_counter_msr() / 24);
}
|
