Constant VMAR_FLAG_DEBUG_DYNAMIC_KERNEL_MAPPING 

pub const VMAR_FLAG_DEBUG_DYNAMIC_KERNEL_MAPPING: u32 = 1024;