LINUX32_SYS_linux_clock_getres
: "a"(LINUX32_SYS_linux_clock_getres), "b"(clock_id), "c"(ts)
case LINUX32_SYS_linux_clock_getres: