#include "libc/sysv/macros.internal.h"
.scall sys_ktimer_gettime,0xffffff0eefffffff,0xfff,globl