Lines Matching defs:ttbr
456 Addr ttbr = 0;
487 ttbr = currState->tc->readMiscReg(snsBankedIndex(
507 ttbr = currState->tc->readMiscReg(snsBankedIndex(
512 Addr l1desc_addr = mbits(ttbr, 31, 14 - currState->ttbcr.n) |
557 Addr ttbr, ttbr0_max, ttbr1_min, desc_addr;
574 ttbr = currState->tc->readMiscReg(MISCREG_VTTBR);
579 ttbr = currState->tc->readMiscReg(MISCREG_HTTBR);
622 ttbr = currState->tc->readMiscReg(snsBankedIndex(
646 ttbr = currState->tc->readMiscReg(snsBankedIndex(
673 desc_addr = mbits(ttbr, 39, n) |
680 desc_addr = mbits(ttbr, 39, n) |
754 Addr ttbr = 0;
766 ttbr = currState->tc->readMiscReg(MISCREG_VTTBR_EL2);
788 ttbr = currState->tc->readMiscReg(MISCREG_TTBR0_EL1);
798 ttbr = currState->tc->readMiscReg(MISCREG_TTBR1_EL1);
817 ttbr = currState->tc->readMiscReg(MISCREG_TTBR0_EL2);
826 ttbr = currState->tc->readMiscReg(MISCREG_TTBR1_EL2);
845 ttbr = currState->tc->readMiscReg(MISCREG_TTBR0_EL3);
934 Addr base_addr = mbits(ttbr, 47, base_addr_lo);