#include "libc/sysv/macros.internal.h" .scall sys_kexec_file_load,0xfffffffffffff140,4095,4095,4095,globl