TTBCR_S_PD0
(armreg_ttbcr_read() & TTBCR_S_PD0) == 0
armreg_ttbcr_write(armreg_ttbcr_read() | TTBCR_S_PD0);
armreg_ttbcr_write(armreg_ttbcr_read() | TTBCR_S_PD0);
return (armreg_ttbcr_read() & TTBCR_S_PD0) != 0 ?
armreg_ttbcr_write(armreg_ttbcr_read() | TTBCR_S_PD0);
(armreg_ttbcr_read() & TTBCR_S_PD0) != 0
armreg_ttbcr_write(old_ttbcr & ~TTBCR_S_PD0);
(armreg_ttbcr_read() & TTBCR_S_PD0) == 0
(armreg_ttbcr_read() & TTBCR_S_PD0) != 0
armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);
(armreg_ttbcr_read() & TTBCR_S_PD0) != 0
(armreg_ttbcr_read() & TTBCR_S_PD0) != 0
(armreg_ttbcr_read() & TTBCR_S_PD0) != 0
armreg_ttbcr_write(old_ttbcr & ~TTBCR_S_PD0);
armreg_ttbcr_write(old_ttbcr | TTBCR_S_PD0);