dev/arm/gic_v3_its.cc

146 ItsProcess::writeDeviceTable(Yield &yield, uint32_t device_id, DTE dte)
149     const Addr address = base + (device_id * sizeof(dte));
151     DPRINTF(ITS, "Writing DTE at address %#x: %#x\n", address, dte);
153     doWrite(yield, address, &dte, sizeof(dte));
182     uint64_t dte;
184     const Addr address = base + (device_id * sizeof(dte));
186     doRead(yield, address, &dte, sizeof(dte));
188     DPRINTF(ITS, "Reading DTE at address %#x: %#x\n", address, dte);
189     return dte;
266     DTE dte = readDeviceTable(yield, device_id);
268     if (!dte.valid || its.idOutOfRange(event_id, dte.ittRange)) {
272     ITTE itte = readIrqTranslationTable(yield, dte.ittAddress, event_id);
395     DTE dte = readDeviceTable(yield, command.deviceId);
397     if (!dte.valid || idOutOfRange(command, dte)) {
403         yield, dte.ittAddress, command.eventId);
430     DTE dte = readDeviceTable(yield, command.deviceId);
432     if (!dte.valid || idOutOfRange(command, dte)) {
438         yield, dte.ittAddress, command.eventId);
458         yield, dte.ittAddress, command.eventId, itte);
469     DTE dte = readDeviceTable(yield, command.deviceId);
471     if (!dte.valid || idOutOfRange(command, dte)) {
477         yield, dte.ittAddress, command.eventId);
504     DTE dte = readDeviceTable(yield, command.deviceId);
506     if (!dte.valid || idOutOfRange(command, dte)) {
512         yield, dte.ittAddress, command.eventId);
575     DTE dte = 0;
576     dte.valid = bits(command.raw[2], 63);
577     dte.ittAddress = mbits(command.raw[2], 51, 8);
578     dte.ittRange = bits(command.raw[1], 4, 0);
580     writeDeviceTable(yield, command.deviceId, dte);
596     DTE dte = readDeviceTable(yield, command.deviceId);
598     if (!dte.valid || idOutOfRange(command, dte) ||
606         yield, dte.ittAddress, command.eventId);
614         yield, dte.ittAddress, command.eventId, itte);
630     DTE dte = readDeviceTable(yield, command.deviceId);
634     if (!dte.valid || idOutOfRange(command, dte) ||
642         yield, dte.ittAddress, command.eventId);
650         yield, dte.ittAddress, command.eventId, itte);
680     DTE dte = readDeviceTable(yield, command.deviceId);
682     if (!dte.valid || idOutOfRange(command, dte)) {
688         yield, dte.ittAddress, command.eventId);
725         yield, dte.ittAddress, command.eventId, itte);