pub const __NR_clock_getres_time64: u32 = 406;