/*-1* SPDX-License-Identifier: BSD-2-Clause2*3* Copyright (c) 2024 Ruslan Bukin <[email protected]>4*5* This software was developed by the University of Cambridge Computer6* Laboratory (Department of Computer Science and Technology) under Innovate7* UK project 105694, "Digital Security by Design (DSbD) Technology Platform8* Prototype".9*10* Redistribution and use in source and binary forms, with or without11* modification, are permitted provided that the following conditions12* are met:13* 1. Redistributions of source code must retain the above copyright14* notice, this list of conditions and the following disclaimer.15* 2. Redistributions in binary form must reproduce the above copyright16* notice, this list of conditions and the following disclaimer in the17* documentation and/or other materials provided with the distribution.18*19* THIS SOFTWARE IS PROVIDED BY AUTHOR AND CONTRIBUTORS ``AS IS'' AND20* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE21* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE22* ARE DISCLAIMED. IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE23* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL24* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS25* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)26* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT27* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY28* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF29* SUCH DAMAGE.30*/3132#ifndef _VMM_VTIMER_H_33#define _VMM_VTIMER_H_3435struct hypctx;3637struct vtimer {38struct callout callout;39struct mtx mtx;40uint32_t freq;41};4243void vtimer_cpuinit(struct hypctx *hypctx);44int vtimer_set_timer(struct hypctx *hypctx, uint64_t next_val);4546#endif /* !_VMM_VTIMER_H_ */474849