kernel_loader::elf

Constant DT_VERDEFNUM

Source 
pub const DT_VERDEFNUM: u32 = 1879048189;