pub const VA_SOURCE_RANGE_UNKNOWN: u32 = 0;