Lines Matching defs:ctx_id
101 ContextID ctx_id = pkt->req->contextId();
102 assert(ctx_id < VGIC_CPU_MAX);
103 struct vcpuIntData *vid = &vcpuData[ctx_id];
137 updateIntState(ctx_id);
148 ContextID ctx_id = pkt->req->contextId();
156 ctx_id = (daddr >> 9);
157 if (ctx_id > 8)
161 assert(ctx_id < VGIC_CPU_MAX);
162 struct vcpuIntData *vid = &vcpuData[ctx_id];
242 ContextID ctx_id = pkt->req->contextId();
243 assert(ctx_id < VGIC_CPU_MAX);
244 struct vcpuIntData *vid = &vcpuData[ctx_id];
280 updateIntState(ctx_id);
291 ContextID ctx_id = pkt->req->contextId();
300 ctx_id = (daddr >> 9);
301 if (ctx_id > 8)
305 assert(ctx_id < VGIC_CPU_MAX);
306 struct vcpuIntData *vid = &vcpuData[ctx_id];
343 updateIntState(ctx_id);
400 /* Update state (in general); something concerned with ctx_id has changed.
404 VGic::updateIntState(ContextID ctx_id)
410 struct vcpuIntData *tvid = &vcpuData[ctx_id];