Symbol: linux_timer_gettime64_args
sys/amd64/linux32/linux32_proto.h
1559
struct linux_timer_gettime64_args {
sys/i386/linux/linux_proto.h
1553
struct linux_timer_gettime64_args {