#include "libc/sysv/macros.internal.h"
.scall sys_ntp_gettime,0x1c0fff0f82210fff,4095,528,globl