HCR_HOST_NVHE_FLAGS
#define HCR_HOST_NVHE_PROTECTED_FLAGS (HCR_HOST_NVHE_FLAGS | HCR_TSC)
params->hcr_el2 = HCR_HOST_NVHE_FLAGS;