#include "libc/sysv/consts/syscon.internal.h"
.syscon nr,__NR_kexec_load,0x00f6,0xfff,0xfff,0xfff,0xfff,0xfff