kernel_loader::elf

Constant DT_VERDEF

Source 
pub const DT_VERDEF: u32 = 1879048188;