/*
 * Copyright (c) 2017 Intel Corporation
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#include <kernel.h>
#include <syscall_handler.h>

/* Normally these would be included in userspace.c, but the way
 * syscall_dispatch.c declares weak handlers results in build errors if these
 * are located in userspace.c. Just put in a separate file.
 */

u32_t _handler_k_object_access_grant(u32_t object, u32_t thread, u32_t arg3,
				     u32_t arg4, u32_t arg5, u32_t arg6,
				     void *ssf)
{
	_SYSCALL_ARG2;

	_SYSCALL_IS_OBJ(thread, K_OBJ_THREAD, 0, ssf);
	_impl_k_object_access_grant((void *)object, (struct k_thread *)thread);
	return 0;
}

u32_t _handler_k_object_access_all_grant(u32_t object, u32_t arg2, u32_t arg3,
					 u32_t arg4, u32_t arg5, u32_t arg6,
					 void *ssf)
{
	_SYSCALL_ARG1;

	_impl_k_object_access_all_grant((void *)object);
	return 0;
}