Symbol: LINUX32_SYS_linux_clock_gettime64
sys/amd64/linux32/linux32_vdso_gtod.c
95
: "a"(LINUX32_SYS_linux_clock_gettime64), "b"(clock_id), "c"(ts)
usr.bin/kdump/linux.c
381
case LINUX32_SYS_linux_clock_gettime64: