diff options
| author | Christoffer Dall <[email protected]> | 2017-06-17 07:33:02 -0700 |
|---|---|---|
| committer | Christoffer Dall <[email protected]> | 2017-11-06 16:23:11 +0100 |
| commit | 14d61fa98f03cb01f3aea7e3069fdf460caf5587 (patch) | |
| tree | 038fa89749fe67fbfc7d0216c4fa015cdf3022c5 /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | 8409a06f2a2c0baeb6e6ff020b2c5a4592b3078d (diff) | |
KVM: arm/arm64: Rename soft timer to bg_timer
As we are about to introduce a separate hrtimer for the physical timer,
call this timer bg_timer, because we refer to this timer as the
background timer in the code and comments elsewhere.
Signed-off-by: Christoffer Dall <[email protected]>
Acked-by: Marc Zyngier <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions