kernel_loader::elf

Constant NT_ARM_VFP

Source 
pub const NT_ARM_VFP: u32 = 1024;