HCR_TID5
params->hcr_el2 |= HCR_TID5;
.value = HCR_TID5,
.mask = HCR_TID5,
if (!(read_sysreg(HCR_EL2) & HCR_TID5))
val |= HCR_TID5;
vcpu->arch.hcr_el2 |= HCR_TID5;