#ifndef _LIBMSL_AMD64_SYSCALL_H
#define _LIBMSL_AMD64_SYSCALL_H

#include <stdint.h>

/* Performs a syscall for the AMD64  */
uintptr_t amd64_syscall (int syscall_num, uintptr_t a1, uintptr_t a2, uintptr_t a3, uintptr_t a4,
                         uintptr_t a5, uintptr_t a6);

#endif // _LIBMSL_AMD64_SYSCALL_H
