1// SPDX-License-Identifier: GPL-3.0-or-later
2#pragma once
3
4#include <mos/types.h>
5
6reg_t ksyscall_enter(reg_t number, reg_t arg1, reg_t arg2, reg_t arg3, reg_t arg4, reg_t arg5, reg_t arg6);
7