2018-12-21 18:58:41 +08:00
|
|
|
/*
|
|
|
|
|
* Copyright (c) 2018 Alexander Wachter
|
|
|
|
|
*
|
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <syscall_handler.h>
|
2019-06-26 03:53:53 +08:00
|
|
|
#include <drivers/hwinfo.h>
|
2018-12-21 18:58:41 +08:00
|
|
|
|
2019-08-14 03:58:38 +08:00
|
|
|
ssize_t z_vrfy_hwinfo_get_device_id(u8_t *buffer, size_t length)
|
|
|
|
|
{
|
2018-12-21 18:58:41 +08:00
|
|
|
Z_OOPS(Z_SYSCALL_MEMORY_WRITE(buffer, length));
|
|
|
|
|
|
2019-03-09 05:19:05 +08:00
|
|
|
return z_impl_hwinfo_get_device_id((u8_t *)buffer, (size_t)length);
|
2018-12-21 18:58:41 +08:00
|
|
|
}
|
2019-08-14 02:34:34 +08:00
|
|
|
#include <syscalls/hwinfo_get_device_id_mrsh.c>
|
