Constant DUMP_SUMMARY_VALID_KERNEL_VA 

pub const DUMP_SUMMARY_VALID_KERNEL_VA: u32 = 1u32;