Lines Matching refs:value
93 uint64_t value = 0;
109 value |= prio << (i * 8);
112 return value;
117 uint64_t value = 0;
120 value |= GICR_CTLR_DPG1S;
124 value |= GICR_CTLR_DPG1NS;
128 value |= GICR_CTLR_DPG0;
132 value |= GICR_CTLR_ENABLE_LPIS;
135 return value;
147 * (All Redistributors with the same Aff3 value must share an
213 uint64_t value = 0;
221 value |= (irqGroup[int_id] << int_id);
224 return value;
229 uint64_t value = 0;
240 value |= (1 << int_id);
244 return value;
249 uint64_t value = 0;
259 value |= (irqPending[int_id] << int_id);
262 return value;
267 uint64_t value = 0;
277 value |= irqActive[int_id] << int_id;
280 return value;
285 uint64_t value = 0;
298 value |= (0x2) << i;
302 return value;
306 uint64_t value = 0;
309 value = 0;
313 value = 0;
316 value |= irqGrpmod[int_id] << int_id;
321 return value;
325 uint64_t value = 0;
329 value = 0;
333 value = 0;
337 value |= irqNsacr[int_id] << i;
342 return value;
662 // 0xf here matches the value of GICD_TYPER.IDbits.
664 // value
905 // pINTID value specifies an unimplemented LPI.