Lines Matching refs:value
68 u32 value = 0;
73 value |= GICD_CTLR_ENABLE_SS_G1;
74 value |= GICD_CTLR_ARE_NS | GICD_CTLR_DS;
76 value |= GICD_CTLR_nASSGIreq;
79 value = vgic->nr_spis + VGIC_NR_PRIVATE_IRQS;
80 value = (value >> 5) - 1;
82 value |= (INTERRUPT_ID_BITS_ITS - 1) << 19;
83 value |= GICD_TYPER_LPIS;
85 value |= (INTERRUPT_ID_BITS_SPIS - 1) << 19;
90 value = GICD_TYPER2_nASSGIcap;
93 value = (PRODUCT_ID_KVM << GICD_IIDR_PRODUCT_ID_SHIFT) |
101 return value;
263 u64 value;
265 value = (u64)(mpidr & GENMASK(23, 0)) << 32;
266 value |= ((target_vcpu_id & 0xffff) << 8);
269 value |= GICR_TYPER_LAST;
271 value |= GICR_TYPER_PLPIS;
273 return extract_bytes(value, addr & 7, len);
281 u64 value;
283 value = (u64)(mpidr & GENMASK(23, 0)) << 32;
284 value |= ((target_vcpu_id & 0xffff) << 8);
287 value |= GICR_TYPER_PLPIS;
290 return extract_bytes(value, addr & 7, len);
315 u32 value = 0;
339 value |= (1U << i);
344 return value;
484 /* Storing a value with LPIs already enabled is undefined */
501 u64 value = vgic_cpu->pendbaser;
503 value &= ~GICR_PENDBASER_PTZ;
505 return extract_bytes(value, addr & 7, len);
515 /* Storing a value with LPIs already enabled is undefined */
967 * @reg: The value written into ICC_{ASGI1,SGI0,SGI1}R by that VCPU