/*-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_APLIC_H_33#define _VMM_APLIC_H_3435struct hyp;36struct hypctx;37struct vm_aplic_descr;3839int aplic_attach_to_vm(struct hyp *hyp, struct vm_aplic_descr *descr);40void aplic_detach_from_vm(struct hyp *hyp);41int aplic_inject_irq(struct hyp *hyp, int vcpuid, uint32_t irqid, bool level);42int aplic_inject_msi(struct hyp *hyp, uint64_t msg, uint64_t addr);43void aplic_vminit(struct hyp *hyp);44void aplic_vmcleanup(struct hyp *hyp);45int aplic_check_pending(struct hypctx *hypctx);4647void aplic_cpuinit(struct hypctx *hypctx);48void aplic_cpucleanup(struct hypctx *hypctx);49void aplic_flush_hwstate(struct hypctx *hypctx);50void aplic_sync_hwstate(struct hypctx *hypctx);51int aplic_max_cpu_count(struct hyp *hyp);5253#endif /* !_VMM_APLIC_H_ */545556