KERN_amd64_SYSCALL_H_ 35 kernel/arch/amd64/include/arch/syscall.h #ifndef KERN_amd64_SYSCALL_H_ KERN_amd64_SYSCALL_H_ 35 kernel/arch/ia32/include/arch/syscall.h #ifndef KERN_amd64_SYSCALL_H_