| /* |
| * Copyright 2020 Carlo Caione <ccaione@baylibre.com> |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| #include <drivers/psci.h> |
| #include <syscall_handler.h> |
| #include <string.h> |
| |
| static inline uint32_t z_vrfy_psci_get_version(const struct device *dev) |
| { |
| Z_OOPS(Z_SYSCALL_DRIVER_PSCI(dev, get_version)); |
| |
| return z_impl_psci_get_version(dev); |
| } |
| #include <syscalls/psci_get_version_mrsh.c> |
| |
| static inline int z_vrfy_psci_cpu_off(const struct device *dev, uint32_t state) |
| { |
| Z_OOPS(Z_SYSCALL_DRIVER_PSCI(dev, cpu_off)); |
| |
| return z_impl_psci_cpu_off(dev, state); |
| } |
| #include <syscalls/psci_cpu_off_mrsh.c> |
| |
| static inline int z_vrfy_psci_cpu_on(const struct device *dev, |
| unsigned long cpuid, |
| unsigned long entry_point) { |
| Z_OOPS(Z_SYSCALL_DRIVER_PSCI(dev, cpu_on)); |
| |
| return z_impl_psci_cpu_on(dev, cpuid, entry_point); |
| } |
| #include <syscalls/psci_cpu_on_mrsh.c> |
| |
| static inline int z_vrfy_psci_affinity_info(const struct device *dev, |
| unsigned long target_affinity, |
| unsigned long lowest_affinity_level) |
| { |
| Z_OOPS(Z_SYSCALL_DRIVER_PSCI(dev, affinity_info)); |
| |
| return z_impl_psci_affinity_info(dev, target_affinity, |
| lowest_affinity_level); |
| } |
| #include <syscalls/psci_affinity_info_mrsh.c> |
