pub const VA_SOURCE_RANGE_FULL: u32 = 2;