Constant ndk_sys::SO_TIMESTAMPNS

pub const SO_TIMESTAMPNS: u32 = 35;