46 lines
1.2 KiB
C
46 lines
1.2 KiB
C
/*
|
|
* 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>
|