Create syscall_64.h