Constant GDMA_PAGE_TYPE_4K 

pub const GDMA_PAGE_TYPE_4K: u32 = 0;