TCR_TBI0
if ((tcr & MD_TCR_FIELDS) != TCR_TBI0) {
tcr |= TCR_TBI0;
new_tcr = TCR_TBI0;
if ((td->td_proc->p_md.md_tcr & TCR_TBI0) != 0)
#define MD_TCR_FIELDS TCR_TBI0
if ((paging->tcr_el1 & TCR_TBI0) != 0)