#include "libc/sysv/macros.internal.h"
.scall sys_ktimer_settime,0xffffff0edfffffff,4095,4095,237,globl