934                                           SpaprMachineState *spapr,  in h_int_get_source_info()  argument
938     SpaprXive *xive = spapr->xive;  in h_int_get_source_info()
945     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_source_info()
1046                                             SpaprMachineState *spapr,  in h_int_set_source_config()  argument
1050     SpaprXive *xive = spapr->xive;  in h_int_set_source_config()
1062     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_set_source_config()
1155                                             SpaprMachineState *spapr,  in h_int_get_source_config()  argument
1159     SpaprXive *xive = spapr->xive;  in h_int_get_source_config()
1169     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_source_config()
1230                                          SpaprMachineState *spapr,  in h_int_get_queue_info()  argument
1234     SpaprXive *xive = spapr->xive;  in h_int_get_queue_info()
1245     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_queue_info()
1318                                            SpaprMachineState *spapr,  in h_int_set_queue_config()  argument
1322     SpaprXive *xive = spapr->xive;  in h_int_set_queue_config()
1334     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_set_queue_config()
1489                                            SpaprMachineState *spapr,  in h_int_get_queue_config()  argument
1493     SpaprXive *xive = spapr->xive;  in h_int_get_queue_config()
1503     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_queue_config()
1592                                                 SpaprMachineState *spapr,  in h_int_set_os_reporting_line()  argument
1600     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_set_os_reporting_line()
1632                                                 SpaprMachineState *spapr,  in h_int_get_os_reporting_line()  argument
1640     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_os_reporting_line()
1679                               SpaprMachineState *spapr,  in h_int_esb()  argument
1683     SpaprXive *xive = spapr->xive;  in h_int_esb()
1694     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_esb()
1755                                SpaprMachineState *spapr,  in h_int_sync()  argument
1759     SpaprXive *xive = spapr->xive;  in h_int_sync()
1766     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_sync()
1824                                 SpaprMachineState *spapr,  in h_int_reset()  argument
1828     SpaprXive *xive = spapr->xive;  in h_int_reset()
1833     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_reset()
1855 void spapr_xive_hcall_init(SpaprMachineState *spapr)  in spapr_xive_hcall_init()  argument