251 	irq_val = vgic_bitmap_get_irq_val(&dist->irq_cfg, vcpu->vcpu_id, irq);  in vgic_irq_is_edge()
259 	return vgic_bitmap_get_irq_val(&dist->irq_enabled, vcpu->vcpu_id, irq);  in vgic_irq_is_enabled()
266 	return vgic_bitmap_get_irq_val(&dist->irq_queued, vcpu->vcpu_id, irq);  in vgic_irq_is_queued()
273 	return vgic_bitmap_get_irq_val(&dist->irq_active, vcpu->vcpu_id, irq);  in vgic_irq_is_active()
280 	vgic_bitmap_set_irq_val(&dist->irq_queued, vcpu->vcpu_id, irq, 1);  in vgic_irq_set_queued()
287 	vgic_bitmap_set_irq_val(&dist->irq_queued, vcpu->vcpu_id, irq, 0);  in vgic_irq_clear_queued()
294 	vgic_bitmap_set_irq_val(&dist->irq_active, vcpu->vcpu_id, irq, 1);  in vgic_irq_set_active()
301 	vgic_bitmap_set_irq_val(&dist->irq_active, vcpu->vcpu_id, irq, 0);  in vgic_irq_clear_active()
308 	return vgic_bitmap_get_irq_val(&dist->irq_level, vcpu->vcpu_id, irq);  in vgic_dist_irq_get_level()
315 	vgic_bitmap_set_irq_val(&dist->irq_level, vcpu->vcpu_id, irq, 1);  in vgic_dist_irq_set_level()
322 	vgic_bitmap_set_irq_val(&dist->irq_level, vcpu->vcpu_id, irq, 0);  in vgic_dist_irq_clear_level()
329 	return vgic_bitmap_get_irq_val(&dist->irq_soft_pend, vcpu->vcpu_id, irq);  in vgic_dist_irq_soft_pend()
336 	vgic_bitmap_set_irq_val(&dist->irq_soft_pend, vcpu->vcpu_id, irq, 0);  in vgic_dist_irq_clear_soft_pend()
343 	return vgic_bitmap_get_irq_val(&dist->irq_pending, vcpu->vcpu_id, irq);  in vgic_dist_irq_is_pending()
350 	vgic_bitmap_set_irq_val(&dist->irq_pending, vcpu->vcpu_id, irq, 1);  in vgic_dist_irq_set_pending()
357 	vgic_bitmap_set_irq_val(&dist->irq_pending, vcpu->vcpu_id, irq, 0);  in vgic_dist_irq_clear_pending()
453 			    phys_addr_t offset, int vcpu_id, int access)  in vgic_handle_enable_reg()  argument
457 	struct kvm_vcpu *target_vcpu = kvm_get_vcpu(kvm, vcpu_id);  in vgic_handle_enable_reg()
459 	reg = vgic_bitmap_get_reg(&kvm->arch.vgic.irq_enabled, vcpu_id, offset);  in vgic_handle_enable_reg()
476 				 phys_addr_t offset, int vcpu_id)  in vgic_handle_set_pending_reg()  argument
483 	reg = vgic_bitmap_get_reg(&dist->irq_cfg, vcpu_id, offset);  in vgic_handle_set_pending_reg()
487 	reg = vgic_bitmap_get_reg(&dist->irq_pending, vcpu_id, offset);  in vgic_handle_set_pending_reg()
494 					  vcpu_id, offset);  in vgic_handle_set_pending_reg()
513 				   phys_addr_t offset, int vcpu_id)  in vgic_handle_clear_pending_reg()  argument
520 	reg = vgic_bitmap_get_reg(&dist->irq_pending, vcpu_id, offset);  in vgic_handle_clear_pending_reg()
526 					  vcpu_id, offset);  in vgic_handle_clear_pending_reg()
527 		reg = vgic_bitmap_get_reg(&dist->irq_pending, vcpu_id, offset);  in vgic_handle_clear_pending_reg()
538 					  vcpu_id, offset);  in vgic_handle_clear_pending_reg()
549 				phys_addr_t offset, int vcpu_id)  in vgic_handle_set_active_reg()  argument
554 	reg = vgic_bitmap_get_reg(&dist->irq_active, vcpu_id, offset);  in vgic_handle_set_active_reg()
568 				  phys_addr_t offset, int vcpu_id)  in vgic_handle_clear_active_reg()  argument
573 	reg = vgic_bitmap_get_reg(&dist->irq_active, vcpu_id, offset);  in vgic_handle_clear_active_reg()
926 	int vcpu_id;  in compute_active_for_cpu()  local
928 	vcpu_id = vcpu->vcpu_id;  in compute_active_for_cpu()
932 	active = vgic_bitmap_get_cpu_map(&dist->irq_active, vcpu_id);  in compute_active_for_cpu()
933 	enabled = vgic_bitmap_get_cpu_map(&dist->irq_enabled, vcpu_id);  in compute_active_for_cpu()
940 		   vgic_bitmap_get_shared_map(&dist->irq_spi_target[vcpu_id]),  in compute_active_for_cpu()
956 	int vcpu_id;  in compute_pending_for_cpu()  local
958 	vcpu_id = vcpu->vcpu_id;  in compute_pending_for_cpu()
962 	pending = vgic_bitmap_get_cpu_map(&dist->irq_pending, vcpu_id);  in compute_pending_for_cpu()
963 	enabled = vgic_bitmap_get_cpu_map(&dist->irq_enabled, vcpu_id);  in compute_pending_for_cpu()
970 		   vgic_bitmap_get_shared_map(&dist->irq_spi_target[vcpu_id]),  in compute_pending_for_cpu()
1202 	int i, vcpu_id;  in __kvm_vgic_flush_hwstate()  local
1206 	vcpu_id = vcpu->vcpu_id;  in __kvm_vgic_flush_hwstate()
1255 		clear_bit(vcpu_id, dist->irq_pending_on_cpu);  in __kvm_vgic_flush_hwstate()
1374 		set_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu);  in __kvm_vgic_sync_hwstate()
1404 	return test_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu);  in kvm_vgic_vcpu_pending_irq()
1414 	return test_bit(vcpu->vcpu_id, dist->irq_active_on_cpu);  in kvm_vgic_vcpu_active_irq()
1543 	int vcpu_id;  in kvm_vgic_inject_irq()  local
1567 	vcpu_id = vgic_update_irq_pending(kvm, cpuid, irq_num, level);  in kvm_vgic_inject_irq()
1568 	if (vcpu_id >= 0) {  in kvm_vgic_inject_irq()
1570 		kvm_vcpu_kick(kvm_get_vcpu(kvm, vcpu_id));  in kvm_vgic_inject_irq()
1686 	int ret, i, vcpu_id;  in vgic_init()  local
1744 	kvm_for_each_vcpu(vcpu_id, vcpu, kvm) {  in vgic_init()
1754 							vcpu->vcpu_id, i, 1);  in vgic_init()
1757 							vcpu->vcpu_id, i,  in vgic_init()