Searched refs:highest_vcn (Results 1 – 2 of 2) sorted by relevance
1269 u64 *highest_vcn) in run_get_highest_vcn() argument1299 *highest_vcn = vcn64 - 1; in run_get_highest_vcn()
915 u64 *highest_vcn);