Constant HV_REFERENCE_TSC_SEQUENCE_INVALID 

pub const HV_REFERENCE_TSC_SEQUENCE_INVALID: u32 = 0;