Lines Matching defs:tcr
386 TTBCR tcr)
391 if (bits(addr, 55, 48) == 0xFF && tcr.tbi1)
393 else if (!bits(addr, 55, 48) && tcr.tbi0)
398 tcr = tc->readMiscReg(MISCREG_TCR_EL2);
399 if (tcr.tbi)
404 if (tcr.tbi)
418 TTBCR tcr;
423 tcr = tc->readMiscReg(MISCREG_TCR_EL1);
424 if (bits(addr, 55, 48) == 0xFF && tcr.tbi1)
426 else if (!bits(addr, 55, 48) && tcr.tbi0)
431 tcr = tc->readMiscReg(MISCREG_TCR_EL2);
432 if (tcr.tbi)
437 tcr = tc->readMiscReg(MISCREG_TCR_EL3);
438 if (tcr.tbi)