pub const VA_SOURCE_RANGE_REDUCED: u32 = 1;