blob: d330c6bc9aa73886ed25a5d5b8edd8c3e4e1ef94 [file] [log] [blame]
Madhukar Pappireddydef48d02024-10-04 21:13:23 -05001/*
2 * Copyright 2024 The Hafnium Authors.
3 *
4 * Use of this source code is governed by a BSD-style
5 * license that can be found in the LICENSE file or at
6 * https://opensource.org/licenses/BSD-3-Clause.
7 */
8
9#pragma once
10
Madhukar Pappireddya3787c92024-09-25 14:50:36 -050011#include "hf/arch/types.h"
12
Madhukar Pappireddydef48d02024-10-04 21:13:23 -050013#include "hf/vcpu.h"
14
15void host_timer_disable(void);
16void host_timer_init(void);
Madhukar Pappireddya3787c92024-09-25 14:50:36 -050017void host_timer_save_arch_timer(struct timer_state *timer);
18void host_timer_track_deadline(struct timer_state *timer);