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; --- 446 unchanged lines hidden (view full) --- 455 456 if (hppiCanPreempt()) { 457 int_id = getHPPIR1(); 458 459 // avoid activation for special interrupts 460 if (int_id < Gicv3::INTID_SECURE) { 461 activateIRQ(int_id, hppi.group); 462 } |
463 464 // LPIs are not activated and when acked their pending 465 // bit is cleared 466 if (int_id >= Gicv3Redistributor::SMALLEST_LPI_ID) 467 { 468 redistributor->setClrLPI(int_id, false); 469 } 470 |
471 } else { 472 int_id = Gicv3::INTID_SPURIOUS; 473 } 474 475 value = int_id; 476 break; 477 } 478 --- 1882 unchanged lines hidden --- |