1/*
2 * Copyright (c) 2018 Metempsy Technology Consulting
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;
9 * redistributions in binary form must reproduce the above copyright

--- 715 unchanged lines hidden (view full) ---

725}
726
727void
728Gicv3Redistributor::sendSGI(uint32_t int_id, Gicv3::GroupId group, bool ns)
729{
730 assert(int_id < Gicv3::SGI_MAX);
731 Gicv3::GroupId int_group = getIntGroup(int_id);
732
733 // asked for secure group 1
734 // configured as group 0
735 // send group 0
736 if (int_group == Gicv3::G0S && group == Gicv3::G1S) {
737 group = Gicv3::G0S;
738 }
739
740 if (group == Gicv3::G0S and int_group != Gicv3::G0S) {
741 return;
742 }
743
744 if (ns && distributor->DS == 0) {
745 int nsaccess = irqNsacr[int_id];
746
747 if ((int_group == Gicv3::G0S && nsaccess < 1) ||
748 (int_group == Gicv3::G1S && nsaccess < 2)) {
749 return;
750 }
751 }
752
753 irqPending[int_id] = true;
754 DPRINTF(GIC, "Gicv3ReDistributor::sendSGI(): "
755 "int_id %d (SGI) pending bit set\n", int_id);
756 updateAndInformCPUInterface();
757}
758
759Gicv3::IntStatus
760Gicv3Redistributor::intStatus(uint32_t int_id) const

--- 316 unchanged lines hidden ---