#include "libc/sysv/consts/syscon.internal.h"
.syscon reboot,RB_NOSYNC,0x20000000,0x20000000,4,4,4,4,4,0x20000000