236 	u32 hw_num;  in xive_native_esb_fault()  local
263 	kvmppc_xive_select_irq(state, &hw_num, &xd);  in xive_native_esb_fault()
423 	u32 hw_num;  in kvmppc_xive_native_update_source_config()  local
436 	kvmppc_xive_select_irq(state, &hw_num, NULL);  in kvmppc_xive_native_update_source_config()
447 		rc = xive_native_configure_irq(hw_num,  in kvmppc_xive_native_update_source_config()
455 		rc = xive_native_configure_irq(hw_num, 0, MASKED, 0);  in kvmppc_xive_native_update_source_config()
515 	u32 hw_num;  in kvmppc_xive_native_sync_source()  local
532 		kvmppc_xive_select_irq(state, &hw_num, &xd);  in kvmppc_xive_native_sync_source()
533 		xive_native_sync_source(hw_num);  in kvmppc_xive_native_sync_source()
863 		u32 hw_num;  in kvmppc_xive_native_sync_sources()  local
885 		kvmppc_xive_select_irq(state, &hw_num, &xd);  in kvmppc_xive_native_sync_sources()
886 		xive_native_sync_source(hw_num);  in kvmppc_xive_native_sync_sources()
887 		xive_native_sync_queue(hw_num);  in kvmppc_xive_native_sync_sources()