936                                           SpaprMachineState *spapr,  in h_int_get_source_info()  argument
940     SpaprXive *xive = spapr->xive;  in h_int_get_source_info()
947     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_source_info()
1048                                             SpaprMachineState *spapr,  in h_int_set_source_config()  argument
1052     SpaprXive *xive = spapr->xive;  in h_int_set_source_config()
1064     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_set_source_config()
1157                                             SpaprMachineState *spapr,  in h_int_get_source_config()  argument
1161     SpaprXive *xive = spapr->xive;  in h_int_get_source_config()
1171     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_source_config()
1232                                          SpaprMachineState *spapr,  in h_int_get_queue_info()  argument
1236     SpaprXive *xive = spapr->xive;  in h_int_get_queue_info()
1247     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_queue_info()
1320                                            SpaprMachineState *spapr,  in h_int_set_queue_config()  argument
1324     SpaprXive *xive = spapr->xive;  in h_int_set_queue_config()
1336     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_set_queue_config()
1491                                            SpaprMachineState *spapr,  in h_int_get_queue_config()  argument
1495     SpaprXive *xive = spapr->xive;  in h_int_get_queue_config()
1505     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_queue_config()
1594                                                 SpaprMachineState *spapr,  in h_int_set_os_reporting_line()  argument
1602     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_set_os_reporting_line()
1634                                                 SpaprMachineState *spapr,  in h_int_get_os_reporting_line()  argument
1642     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_get_os_reporting_line()
1681                               SpaprMachineState *spapr,  in h_int_esb()  argument
1685     SpaprXive *xive = spapr->xive;  in h_int_esb()
1696     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_esb()
1757                                SpaprMachineState *spapr,  in h_int_sync()  argument
1761     SpaprXive *xive = spapr->xive;  in h_int_sync()
1768     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_sync()
1826                                 SpaprMachineState *spapr,  in h_int_reset()  argument
1830     SpaprXive *xive = spapr->xive;  in h_int_reset()
1835     if (!spapr_ovec_test(spapr->ov5_cas, OV5_XIVE_EXPLOIT)) {  in h_int_reset()
1857 void spapr_xive_hcall_init(SpaprMachineState *spapr)  in spapr_xive_hcall_init()  argument