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