Lines Matching refs:pINTID
1468 // pINTID, bits [12:0]
1480 ich_lrc.pINTID = requested_ich_lrc.pINTID;
1513 // pINTID, bits [44:32]
1525 ich_lr_el2.pINTID = requested_ich_lr_el2.pINTID;
1900 if (ich_lr_el2.pINTID < Gicv3::INTID_SECURE) {
1901 Gicv3::GroupId group = ich_lr_el2.pINTID >= 32 ?
1902 distributor->getIntGroup(ich_lr_el2.pINTID) :
1903 redistributor->getIntGroup(ich_lr_el2.pINTID);
1904 deactivateIRQ(ich_lr_el2.pINTID, group);