dev/arm/vgic.cc

103     struct vcpuIntData *vid = &vcpuData[ctx_id];
109         pkt->setLE<uint32_t>(vid->vctrl);
112           int i = findHighestPendingLR(vid);
113           if (i < 0 || !vid->vctrl.En) {
116               ListReg *lr = &vid->LR[i];
162     struct vcpuIntData *vid = &vcpuData[ctx_id];
166         pkt->setLE<uint32_t>(vid->hcr);
175             ((uint32_t)vid->VMPriMask << 27) |
176             ((uint32_t)vid->VMBP << 21) |
177             ((uint32_t)vid->VMABP << 18) |
178             ((uint32_t)vid->VEM << 9) |
179             ((uint32_t)vid->VMCBPR << 4) |
180             ((uint32_t)vid->VMFiqEn << 3) |
181             ((uint32_t)vid->VMAckCtl << 2) |
182             ((uint32_t)vid->VMGrp1En << 1) |
183             ((uint32_t)vid->VMGrp0En << 0)
188         pkt->setLE<uint32_t>(getMISR(vid));
192         pkt->setLE<uint32_t>(vid->eisr & 0xffffffff);
196         pkt->setLE<uint32_t>(vid->eisr >> 32);
202               if (!vid->LR[i].State)
211               if (!vid->LR[i].State)
226         pkt->setLE<uint32_t>(vid->LR[(daddr - GICH_LR0) >> 2]);
244     struct vcpuIntData *vid = &vcpuData[ctx_id];
251         vid->vctrl = pkt->getLE<uint32_t>();
254         vid->VMPriMask = pkt->getLE<uint32_t>();
259           assert(!vid->vctrl.EOImode);
263           int i = findLRForVIRQ(vid, virq, vcpu);
268               ListReg *lr = &vid->LR[i];
306     struct vcpuIntData *vid = &vcpuData[ctx_id];
310         vid->hcr = pkt->getLE<uint32_t>();
316           vid->VMPriMask = d >> 27;
317           vid->VMBP = (d >> 21) & 7;
318           vid->VMABP = (d >> 18) & 7;
319           vid->VEM = (d >> 9) & 1;
320           vid->VMCBPR = (d >> 4) & 1;
321           vid->VMFiqEn = (d >> 3) & 1;
322           vid->VMAckCtl = (d >> 2) & 1;
323           vid->VMGrp1En = (d >> 1) & 1;
324           vid->VMGrp0En = d & 1;
335         vid->LR[(daddr - GICH_LR0) >> 2] = pkt->getLE<uint32_t>();
351 VGic::getMISR(struct vcpuIntData *vid)
353     return (!!vid->hcr.VGrp1DIE && !vid->VMGrp1En ? 0x80 : 0) |
354         (!!vid->hcr.VGrp1EIE &&  vid->VMGrp1En ? 0x40 : 0) |
355         (!!vid->hcr.VGrp0DIE && !vid->VMGrp0En ? 0x20 : 0) |
356         (!!vid->hcr.VGrp0EIE &&  vid->VMGrp0En ? 0x10 : 0) |
357         (!!vid->hcr.NPIE && !lrPending(vid) ? 0x08 : 0) |
358         (!!vid->hcr.LRENPIE && vid->hcr.EOICount ? 0x04 : 0) |
359         (!!vid->hcr.UIE && lrValid(vid) <= 1 ? 0x02 : 0) |
360         (vid->eisr ? 0x01 : 0);
421         struct vcpuIntData *vid = &vcpuData[i];
424             if (lrPending(vid) && vid->vctrl.En) {
428         } else if (!lrPending(vid)) {
435             if (vid->hcr.En && getMISR(vid)) {
440             if (!vid->hcr.En || !getMISR(vid)) {