pub const HV_VCPU_DEFAULT: u64 = 0;