#include "libc/sysv/consts/syscon.internal.h"
.syscon nr __NR_ntp_gettime -1 0x2000210 0x00f8 -1 0x1c0 -1