Constant CONST_VMALLOC_VADDR_RANGE 

pub const CONST_VMALLOC_VADDR_RANGE: Range<Vaddr>;

The constant VMALLOC_VADDR_RANGE.