/*
 * Copyright (c) 2026, Chloe M.
 * Provided under the BSD-3 clause.
 *
 * Description: System calls
 * Author:      Chloe M.
 */

#ifndef _KE_SYSCALL_H_
#define _KE_SYSCALL_H_ 1

#include <ptapi/status.h>
#include <ptapi/syscall.h>
#include <ptdef.h>

/*
 * System call arguments passed to system call handlers
 */
typedef struct {
    UQUAD Arg[6];
} SYSCALL_ARGS;

extern PT_STATUS(*SystemCallTable[_SYSCALL_MAX])(SYSCALL_ARGS *Args);

#endif  /* !_KE_SYSCALL_H_ */