| gic_v3_distributor.cc (14258:c75d22c32dec) | gic_v3_distributor.cc (14259:ff00277dc5e2) |
|---|---|
| 1/* 2 * Copyright (c) 2019 ARM Limited 3 * All rights reserved 4 * 5 * The license below extends only to copyright in the software and shall 6 * not be construed as granting a license to any other intellectual 7 * property including but not limited to intellectual property relating 8 * to a hardware implementation of the functionality of the software --- 1041 unchanged lines hidden (view full) --- 1050 } 1051} 1052 1053void 1054Gicv3Distributor::clearIrqCpuInterface(uint32_t int_id) 1055{ 1056 auto cpu_interface = route(int_id); 1057 if (cpu_interface) | 1/* 2 * Copyright (c) 2019 ARM Limited 3 * All rights reserved 4 * 5 * The license below extends only to copyright in the software and shall 6 * not be construed as granting a license to any other intellectual 7 * property including but not limited to intellectual property relating 8 * to a hardware implementation of the functionality of the software --- 1041 unchanged lines hidden (view full) --- 1050 } 1051} 1052 1053void 1054Gicv3Distributor::clearIrqCpuInterface(uint32_t int_id) 1055{ 1056 auto cpu_interface = route(int_id); 1057 if (cpu_interface) |
| 1058 cpu_interface->hppi.prio = 0xff; | 1058 cpu_interface->resetHppi(int_id); |
| 1059} 1060 1061void 1062Gicv3Distributor::update() 1063{ 1064 // Find the highest priority pending SPI 1065 for (int int_id = Gicv3::SGI_MAX + Gicv3::PPI_MAX; int_id < itLines; 1066 int_id++) { --- 125 unchanged lines hidden --- | 1059} 1060 1061void 1062Gicv3Distributor::update() 1063{ 1064 // Find the highest priority pending SPI 1065 for (int int_id = Gicv3::SGI_MAX + Gicv3::PPI_MAX; int_id < itLines; 1066 int_id++) { --- 125 unchanged lines hidden --- |