text: /*
   * Copyright (c) 2020 Intel Corporation
   *
   * SPDX-License-Identifier: Apache-2.0
   */
  
  #include <drivers/peci.h>
  #include <syscall_handler.h>
  
  
  static inline int z_vrfy_peci_config(struct device *dev, uint32_t bitrate)
  {
  	Z_OOPS(Z_SYSCALL_DRIVER_PECI(dev, config));
  
  	return z_impl_peci_config(dev, bitrate);
  }
  #include <syscalls/peci_config_mrsh.c>
  
  static inline int z_vrfy_peci_enable(struct device *dev)
  {
  	Z_OOPS(Z_SYSCALL_DRIVER_PECI(dev, enable));
  
  	return z_impl_peci_enable(dev);
  }
  #include <syscalls/peci_enable_mrsh.c>
  
  static inline int z_vrfy_peci_disable(struct device *dev)
  {
  	Z_OOPS(Z_SYSCALL_DRIVER_PECI(dev, disable));
  
  	return z_impl_peci_disable(dev);
  }
  #include <syscalls/peci_disable_mrsh.c>
  
  static inline int z_vrfy_peci_transfer(struct device *dev,
  				       struct peci_msg *msg)
  {
  	struct peci_msg msg_copy;
  
  	Z_OOPS(Z_SYSCALL_DRIVER_PECI(dev, transfer));
  	Z_OOPS(z_user_from_copy(&msg_copy, msg, sizeof(*msg)));
  
  	return z_impl_peci_transfer(dev, &msg_copy);
  }
  #include <syscalls/peci_transfer_mrsh.c>
  