Constant ndk_sys::SO_TIMESTAMPING_OLD

pub const SO_TIMESTAMPING_OLD: u32 = 37;