Lines Matching defs:target
48 /* Get the target id for this processor. We rely on the constraint that the registers
49 * for PPI are read only and return only the current processor as the target.
56 uint32_t target = 0;
58 target = gic_dist->targets[i >> 2];
59 target |= target >> 16;
60 target |= target >> 8;
61 if (target) {
65 if (!target) {
66 printf("Warning: Could not infer GIC interrupt target ID, assuming 0.\n");
67 target = BIT(0);
69 return target & 0xff;
96 * reset int target to current cpu
99 uint8_t target = infer_cpu_gic_id(nirqs);
101 gic_dist->targets[i >> 2] = TARGET_CPU_ALLINT(target);
190 * 25-24: target lister filter
191 * 0b00 - send the ipi to the CPU interfaces specified in the CPU target list
198 * each bit of CPU target list [7:0] refers to the corresponding CPU interface.