Symbol: LINUX32_SYS_linux_clock_gettime
sys/amd64/linux32/linux32_vdso_gtod.c
80
: "a"(LINUX32_SYS_linux_clock_gettime), "b"(clock_id), "c"(ts)
usr.bin/kdump/linux.c
377
case LINUX32_SYS_linux_clock_gettime: