Constant kernel_loader::elf::NT_S390_VXRS_LOW

pub const NT_S390_VXRS_LOW: u32 = 777;