/*
 * Copyright (c) 2018 Alexander Wachter
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#include <syscall_handler.h>
#include <hwinfo.h>

Z_SYSCALL_HANDLER(hwinfo_get_device_id, buffer, length) {

	Z_OOPS(Z_SYSCALL_MEMORY_WRITE(buffer, length));

	return _impl_hwinfo_get_device_id((u8_t *)buffer, (size_t)length);
}