2 * QEMU PowerPC sPAPR XIVE interrupt controller model
4 * Copyright (c) 2017-2018, IBM Corporation.
6 * This code is licensed under the GPL version 2 or later. See the
7 * COPYING file in the top-level directory.
10 #ifndef PPC_SPAPR_XIVE_H
11 #define PPC_SPAPR_XIVE_H
13 #include "hw/ppc/xive.h"
15 #define TYPE_SPAPR_XIVE "spapr-xive"
16 #define SPAPR_XIVE(obj) OBJECT_CHECK(sPAPRXive, (obj), TYPE_SPAPR_XIVE)
18 typedef struct sPAPRXive
{
21 /* Internal interrupt source for IPIs and virtual devices */
26 XiveENDSource end_source
;
35 /* TIMA mapping address */
40 bool spapr_xive_irq_claim(sPAPRXive
*xive
, uint32_t lisn
, bool lsi
);
41 bool spapr_xive_irq_free(sPAPRXive
*xive
, uint32_t lisn
);
42 void spapr_xive_pic_print_info(sPAPRXive
*xive
, Monitor
*mon
);
44 typedef struct sPAPRMachineState sPAPRMachineState
;
46 void spapr_xive_hcall_init(sPAPRMachineState
*spapr
);
47 void spapr_dt_xive(sPAPRMachineState
*spapr
, uint32_t nr_servers
, void *fdt
,
49 void spapr_xive_set_tctx_os_cam(XiveTCTX
*tctx
);
50 void spapr_xive_mmio_set_enabled(sPAPRXive
*xive
, bool enable
);
52 #endif /* PPC_SPAPR_XIVE_H */