279 	irq_val = vgic_bitmap_get_irq_val(&dist->irq_cfg, vcpu->vcpu_id, irq);  in vgic_irq_is_edge()
287 	return vgic_bitmap_get_irq_val(&dist->irq_enabled, vcpu->vcpu_id, irq);  in vgic_irq_is_enabled()
294 	return vgic_bitmap_get_irq_val(&dist->irq_queued, vcpu->vcpu_id, irq);  in vgic_irq_is_queued()
301 	return vgic_bitmap_get_irq_val(&dist->irq_active, vcpu->vcpu_id, irq);  in vgic_irq_is_active()
308 	vgic_bitmap_set_irq_val(&dist->irq_queued, vcpu->vcpu_id, irq, 1);  in vgic_irq_set_queued()
315 	vgic_bitmap_set_irq_val(&dist->irq_queued, vcpu->vcpu_id, irq, 0);  in vgic_irq_clear_queued()
322 	vgic_bitmap_set_irq_val(&dist->irq_active, vcpu->vcpu_id, irq, 1);  in vgic_irq_set_active()
329 	vgic_bitmap_set_irq_val(&dist->irq_active, vcpu->vcpu_id, irq, 0);  in vgic_irq_clear_active()
336 	return vgic_bitmap_get_irq_val(&dist->irq_level, vcpu->vcpu_id, irq);  in vgic_dist_irq_get_level()
343 	vgic_bitmap_set_irq_val(&dist->irq_level, vcpu->vcpu_id, irq, 1);  in vgic_dist_irq_set_level()
350 	vgic_bitmap_set_irq_val(&dist->irq_level, vcpu->vcpu_id, irq, 0);  in vgic_dist_irq_clear_level()
357 	return vgic_bitmap_get_irq_val(&dist->irq_soft_pend, vcpu->vcpu_id, irq);  in vgic_dist_irq_soft_pend()
364 	vgic_bitmap_set_irq_val(&dist->irq_soft_pend, vcpu->vcpu_id, irq, 0);  in vgic_dist_irq_clear_soft_pend()
368 			clear_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu);  in vgic_dist_irq_clear_soft_pend()
376 	return vgic_bitmap_get_irq_val(&dist->irq_pending, vcpu->vcpu_id, irq);  in vgic_dist_irq_is_pending()
383 	vgic_bitmap_set_irq_val(&dist->irq_pending, vcpu->vcpu_id, irq, 1);  in vgic_dist_irq_set_pending()
390 	vgic_bitmap_set_irq_val(&dist->irq_pending, vcpu->vcpu_id, irq, 0);  in vgic_dist_irq_clear_pending()
486 			    phys_addr_t offset, int vcpu_id, int access)  in vgic_handle_enable_reg()  argument
490 	struct kvm_vcpu *target_vcpu = kvm_get_vcpu(kvm, vcpu_id);  in vgic_handle_enable_reg()
492 	reg = vgic_bitmap_get_reg(&kvm->arch.vgic.irq_enabled, vcpu_id, offset);  in vgic_handle_enable_reg()
509 				 phys_addr_t offset, int vcpu_id)  in vgic_handle_set_pending_reg()  argument
516 	reg = vgic_bitmap_get_reg(&dist->irq_cfg, vcpu_id, offset);  in vgic_handle_set_pending_reg()
520 	reg = vgic_bitmap_get_reg(&dist->irq_pending, vcpu_id, offset);  in vgic_handle_set_pending_reg()
527 					  vcpu_id, offset);  in vgic_handle_set_pending_reg()
546 				   phys_addr_t offset, int vcpu_id)  in vgic_handle_clear_pending_reg()  argument
553 	reg = vgic_bitmap_get_reg(&dist->irq_pending, vcpu_id, offset);  in vgic_handle_clear_pending_reg()
559 					  vcpu_id, offset);  in vgic_handle_clear_pending_reg()
560 		reg = vgic_bitmap_get_reg(&dist->irq_pending, vcpu_id, offset);  in vgic_handle_clear_pending_reg()
571 					  vcpu_id, offset);  in vgic_handle_clear_pending_reg()
582 				phys_addr_t offset, int vcpu_id)  in vgic_handle_set_active_reg()  argument
587 	reg = vgic_bitmap_get_reg(&dist->irq_active, vcpu_id, offset);  in vgic_handle_set_active_reg()
601 				  phys_addr_t offset, int vcpu_id)  in vgic_handle_clear_active_reg()  argument
606 	reg = vgic_bitmap_get_reg(&dist->irq_active, vcpu_id, offset);  in vgic_handle_clear_active_reg()
944 	int vcpu_id;  in compute_active_for_cpu()  local
946 	vcpu_id = vcpu->vcpu_id;  in compute_active_for_cpu()
950 	active = vgic_bitmap_get_cpu_map(&dist->irq_active, vcpu_id);  in compute_active_for_cpu()
951 	enabled = vgic_bitmap_get_cpu_map(&dist->irq_enabled, vcpu_id);  in compute_active_for_cpu()
958 		   vgic_bitmap_get_shared_map(&dist->irq_spi_target[vcpu_id]),  in compute_active_for_cpu()
974 	int vcpu_id;  in compute_pending_for_cpu()  local
976 	vcpu_id = vcpu->vcpu_id;  in compute_pending_for_cpu()
986 	pending = vgic_bitmap_get_cpu_map(&dist->irq_pending, vcpu_id);  in compute_pending_for_cpu()
987 	enabled = vgic_bitmap_get_cpu_map(&dist->irq_enabled, vcpu_id);  in compute_pending_for_cpu()
994 		   vgic_bitmap_get_shared_map(&dist->irq_spi_target[vcpu_id]),  in compute_pending_for_cpu()
1103 	return test_bit(vcpu->vcpu_id, dist->irq_active_on_cpu);  in dist_active_irq()
1254 	int i, vcpu_id;  in __kvm_vgic_flush_hwstate()  local
1258 	vcpu_id = vcpu->vcpu_id;  in __kvm_vgic_flush_hwstate()
1307 		clear_bit(vcpu_id, dist->irq_pending_on_cpu);  in __kvm_vgic_flush_hwstate()
1458 		set_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu);  in __kvm_vgic_sync_hwstate()
1488 	return test_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu);  in kvm_vgic_vcpu_pending_irq()
1967 	int ret, i, vcpu_id;  in vgic_init()  local
2025 	kvm_for_each_vcpu(vcpu_id, vcpu, kvm) {  in vgic_init()
2040 							vcpu->vcpu_id, i, 1);  in vgic_init()
2042 							vcpu->vcpu_id, i,  in vgic_init()
2047 							vcpu->vcpu_id, i,  in vgic_init()