1/*-
2 * SPDX-License-Identifier: BSD-2-Clause
3 *
4 * Copyright (c) 2023 Arm Ltd
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 * 1. Redistributions of source code must retain the above copyright
10 *    notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above copyright
12 *    notice, this list of conditions and the following disclaimer in the
13 *    documentation and/or other materials provided with the distribution.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25 * SUCH DAMAGE.
26 */
27
28#include <sys/cdefs.h>
29#include <sys/types.h>
30#include <sys/systm.h>
31#include <sys/bus.h>
32
33#include "vgic.h"
34#include "vgic_if.h"
35
36device_t vgic_dev;
37
38bool
39vgic_present(void)
40{
41	return (vgic_dev != NULL);
42}
43
44void
45vgic_init(void)
46{
47	VGIC_INIT(vgic_dev);
48}
49
50int
51vgic_attach_to_vm(struct hyp *hyp, struct vm_vgic_descr *descr)
52{
53	return (VGIC_ATTACH_TO_VM(vgic_dev, hyp, descr));
54}
55
56void
57vgic_detach_from_vm(struct hyp *hyp)
58{
59	VGIC_DETACH_FROM_VM(vgic_dev, hyp);
60}
61
62void
63vgic_vminit(struct hyp *hyp)
64{
65	VGIC_VMINIT(vgic_dev, hyp);
66}
67
68void
69vgic_cpuinit(struct hypctx *hypctx)
70{
71	VGIC_CPUINIT(vgic_dev, hypctx);
72}
73
74void
75vgic_cpucleanup(struct hypctx *hypctx)
76{
77	VGIC_CPUCLEANUP(vgic_dev, hypctx);
78}
79
80void
81vgic_vmcleanup(struct hyp *hyp)
82{
83	VGIC_VMCLEANUP(vgic_dev, hyp);
84}
85
86int
87vgic_max_cpu_count(struct hyp *hyp)
88{
89	return (VGIC_MAX_CPU_COUNT(vgic_dev, hyp));
90}
91
92bool
93vgic_has_pending_irq(struct hypctx *hypctx)
94{
95	return (VGIC_HAS_PENDING_IRQ(vgic_dev, hypctx));
96}
97
98/* TODO: vcpuid -> hypctx ? */
99/* TODO: Add a vgic interface */
100int
101vgic_inject_irq(struct hyp *hyp, int vcpuid, uint32_t irqid, bool level)
102{
103	return (VGIC_INJECT_IRQ(vgic_dev, hyp, vcpuid, irqid, level));
104}
105
106int
107vgic_inject_msi(struct hyp *hyp, uint64_t msg, uint64_t addr)
108{
109	return (VGIC_INJECT_MSI(vgic_dev, hyp, msg, addr));
110}
111
112void
113vgic_flush_hwstate(struct hypctx *hypctx)
114{
115	VGIC_FLUSH_HWSTATE(vgic_dev, hypctx);
116}
117
118void
119vgic_sync_hwstate(struct hypctx *hypctx)
120{
121	VGIC_SYNC_HWSTATE(vgic_dev, hypctx);
122}
123