Symbol: HCR_HOST_VHE_FLAGS