180 static unsigned long *u64_to_bitmask(u64 *val)  in u64_to_bitmask()  argument
183 	*val = (*val >> 32) | (*val << 32);  in u64_to_bitmask()
185 	return (unsigned long *)val;  in u64_to_bitmask()
207 			     int irq, int val)  in vgic_bitmap_set_irq_val()  argument
218 	if (val)  in vgic_bitmap_set_irq_val()
618 static u32 vgic_cfg_expand(u16 val)  in vgic_cfg_expand()  argument
628 		res |= ((val >> i) & VGIC_CFG_EDGE) << (2 * i + 1);  in vgic_cfg_expand()
633 static u16 vgic_cfg_compress(u32 val)  in vgic_cfg_compress()  argument
643 		res |= ((val >> (i * 2 + 1)) & VGIC_CFG_EDGE) << i;  in vgic_cfg_compress()
656 	u32 val;  in vgic_handle_cfg_reg()  local
659 		val = *reg >> 16;  in vgic_handle_cfg_reg()
661 		val = *reg & 0xffff;  in vgic_handle_cfg_reg()
663 	val = vgic_cfg_expand(val);  in vgic_handle_cfg_reg()
664 	vgic_reg_access(mmio, &val, offset,  in vgic_handle_cfg_reg()
671 		val = vgic_cfg_compress(val);  in vgic_handle_cfg_reg()
674 			*reg |= val << 16;  in vgic_handle_cfg_reg()
677 			*reg |= val;  in vgic_handle_cfg_reg()
819 				   int len, void *val, bool is_write)  in vgic_handle_mmio_access()  argument
839 	mmio.data = val;  in vgic_handle_mmio_access()
848 			memset(val, 0, len);  in vgic_handle_mmio_access()
861 				 gpa_t addr, int len, void *val)  in vgic_handle_mmio_read()  argument
863 	return vgic_handle_mmio_access(vcpu, this, addr, len, val, false);  in vgic_handle_mmio_read()
868 				  gpa_t addr, int len, const void *val)  in vgic_handle_mmio_write()  argument
870 	return vgic_handle_mmio_access(vcpu, this, addr, len, (void *)val,  in vgic_handle_mmio_write()
2280 		u32 val;  in vgic_set_common_attr()  local
2283 		if (get_user(val, uaddr))  in vgic_set_common_attr()
2292 		if (val < (VGIC_NR_PRIVATE_IRQS + 32) ||  in vgic_set_common_attr()
2293 		    val > VGIC_MAX_IRQS ||  in vgic_set_common_attr()
2294 		    (val & 31))  in vgic_set_common_attr()
2302 			dev->kvm->arch.vgic.nr_irqs = val;  in vgic_set_common_attr()