def TCR_EL1_DS: u64     = (1 << 59);
def TCR_EL1_TCMA1: u64  = (1 << 58);
def TCR_EL1_TCMA0: u64  = (1 << 57);
def TCR_EL1_E0PD1: u64  = (1 << 56);
def TCR_EL1_E0PD2: u64  = (1 << 55);
def TCR_EL1_NFD0: u64   = (1 << 54);
def TCR_EL1_NFD1: u64   = (1 << 53);
def TCR_EL1_TBID0: u64  = (1 << 52);
def TCR_EL1_TBID1: u64  = (1 << 51);
def TCR_EL1_HWU162: u64 = (1 << 50);
def TCR_EL1_HWU161: u64 = (1 << 49);
def TCR_EL1_HWU160: u64 = (1 << 48);
def TCR_EL1_HWU159: u64 = (1 << 47);
def TCR_EL1_HWU062: u64 = (1 << 46);
def TCR_EL1_HWU061: u64 = (1 << 45);
def TCR_EL1_HWU060: u64 = (1 << 44);
def TCR_EL1_HWU059: u64 = (1 << 43);
def TCR_EL1_HPD1: u64   = (1 << 42);
def TCR_EL1_HPD0: u64   = (1 << 41);
def TCR_EL1_HD: u64     = (1 << 40);
def TCR_EL1_HA: u64     = (1 << 39);
def TCR_EL1_TBI1: u64   = (1 << 38);
def TCR_EL1_TBI0: u64   = (1 << 37);
def TCR_EL1_AS: u64     = (1 << 36);

def TCR_EL1_IPS_MASK: u64   = (0b111 << 32);

def TCR_EL1_IPS_32B_4G: u64   = (0b000 << 32);
def TCR_EL1_IPS_36B_64G: u64  = (0b001 << 32);
def TCR_EL1_IPS_40B_1T: u64   = (0b010 << 32);
def TCR_EL1_IPS_42B_4T: u64   = (0b011 << 32);
def TCR_EL1_IPS_44B_16T: u64  = (0b100 << 32);
def TCR_EL1_IPS_48B_256T: u64 = (0b101 << 32);
def TCR_EL1_IPS_52B_5P: u64   = (0b111 << 32);

def TCR_EL1_TG1_16K: u64 = (0b01 << 30);
def TCR_EL1_TG1_4K: u64  = (0b10 << 30);
def TCR_EL1_TG1_64K: u64 = (0b11 << 30);

def TCR_EL1_SH1_NS: u64 = (0b00 << 28);
def TCR_EL1_SH1_OS: u64 = (0b10 << 28);
def TCR_EL1_SH1_IS: u64 = (0b11 << 28);

def TCR_EL1_ORGN1_NC: u64 = (0b00 << 26);
def TCR_EL1_ORGN1_WB: u64 = (0b01 << 26);
def TCR_EL1_ORGN1_WT: u64 = (0b10 << 26);
def TCR_EL1_ORGN1_NA: u64 = (0b11 << 26);

def TCR_EL1_IRGN1_NC: u64 = (0b00 << 24);
def TCR_EL1_IRGN1_WB: u64 = (0b01 << 24);
def TCR_EL1_IRGN1_WT: u64 = (0b10 << 24);
def TCR_EL1_IRGN1_NA: u64 = (0b11 << 24);

def TCR_EL1_EPD1: u64 = (1 << 23);
def TCR_EL1_A1: u64 = (1 << 22);

def TCR_EL1_T1SZ: u64 = 16;

def TCR_EL1_TG0_4K: u64  = (0b01 << 14);
def TCR_EL1_TG0_64K: u64 = (0b10 << 14);
def TCR_EL1_TG0_16K: u64 = (0b11 << 14);

def TCR_EL1_SH0_NS: u64 = (0b00 << 12);
def TCR_EL1_SH0_OS: u64 = (0b10 << 12);
def TCR_EL1_SH0_IS: u64 = (0b11 << 12);

def TCR_EL1_ORGN0_NC: u64 = (0b00 << 10);
def TCR_EL1_ORGN0_WB: u64 = (0b01 << 10);
def TCR_EL1_ORGN0_WT: u64 = (0b10 << 10);
def TCR_EL1_ORGN0_NA: u64 = (0b11 << 10);

def TCR_EL1_IRGN0_NC: u64 = (0b00 << 8);
def TCR_EL1_IRGN0_WB: u64 = (0b01 << 8);
def TCR_EL1_IRGN0_WT: u64 = (0b10 << 8);
def TCR_EL1_IRGN0_NA: u64 = (0b11 << 8);

def TCR_EL1_EPD0: u64 = (1 << 7);

def TCR_EL1_T0SZ: u64 = 0;