Lines Matching defs:readMiscReg
114 Gicv3CPUInterface::readMiscReg(int misc_reg)
171 return readMiscReg(MISCREG_ICV_IGRPEN0_EL1);
188 return readMiscReg(MISCREG_ICV_IGRPEN1_EL1);
221 return readMiscReg(MISCREG_ICV_RPR_EL1);
256 return readMiscReg(MISCREG_ICV_HPPIR0_EL1);
286 return readMiscReg(MISCREG_ICV_HPPIR1_EL1);
316 return readMiscReg(MISCREG_ICV_BPR0_EL1);
359 return readMiscReg(MISCREG_ICV_PMR_EL1);
392 return readMiscReg(MISCREG_ICV_IAR0_EL1);
448 return readMiscReg(MISCREG_ICV_IAR1_EL1);
560 return readMiscReg(MISCREG_ICV_CTLR_EL1);
724 panic("Gicv3CPUInterface::readMiscReg(): unknown register %d (%s)",
728 DPRINTF(GIC, "Gicv3CPUInterface::readMiscReg(): register %s value %#x\n",
1933 bpr = readMiscReg(MISCREG_ICC_BPR0_EL1) & 0x7;
2539 return readMiscReg(MISCREG_ICV_BPR1_EL1);