Constant TXTLOG_DEVMGR 

pub const TXTLOG_DEVMGR: u32 = 536870912u32;