Lines Matching defs:old_ttbcr
4934 const uint32_t old_ttbcr = armreg_ttbcr_read();
4935 armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);
4948 armreg_ttbcr_write(old_ttbcr & ~TTBCR_S_PD0);
4970 const uint32_t old_ttbcr = armreg_ttbcr_read();
4971 armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);
5008 const uint32_t old_ttbcr = armreg_ttbcr_read();
5009 armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);
5021 armreg_ttbcr_write(old_ttbcr & ~TTBCR_S_PD0);
5235 const uint32_t old_ttbcr = armreg_ttbcr_read();
5236 armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);