49 lines
1.2 KiB
C
49 lines
1.2 KiB
C
/*
|
|
* Copyright (c) 2018 Intel Corporation
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#include <zephyr/init.h>
|
|
#include <zephyr/kernel.h>
|
|
#include <kernel_arch_data.h>
|
|
#include <kernel_arch_func.h>
|
|
#include <zephyr/arch/x86/msr.h>
|
|
#include <zephyr/arch/x86/cpuid.h>
|
|
|
|
/*
|
|
* See:
|
|
* https://software.intel.com/security-software-guidance/api-app/sites/default/files/336996-Speculative-Execution-Side-Channel-Mitigations.pdf
|
|
*/
|
|
|
|
#if defined(CONFIG_DISABLE_SSBD) || defined(CONFIG_ENABLE_EXTENDED_IBRS)
|
|
static int spec_ctrl_init(const struct device *dev)
|
|
{
|
|
ARG_UNUSED(dev);
|
|
|
|
uint32_t enable_bits = 0U;
|
|
uint32_t cpuid7 = z_x86_cpuid_extended_features();
|
|
|
|
#ifdef CONFIG_DISABLE_SSBD
|
|
if ((cpuid7 & CPUID_SPEC_CTRL_SSBD) != 0U) {
|
|
enable_bits |= X86_SPEC_CTRL_MSR_SSBD;
|
|
}
|
|
#endif
|
|
#ifdef CONFIG_ENABLE_EXTENDED_IBRS
|
|
if ((cpuid7 & CPUID_SPEC_CTRL_IBRS) != 0U) {
|
|
enable_bits |= X86_SPEC_CTRL_MSR_IBRS;
|
|
}
|
|
#endif
|
|
if (enable_bits != 0U) {
|
|
uint64_t cur = z_x86_msr_read(X86_SPEC_CTRL_MSR);
|
|
|
|
z_x86_msr_write(X86_SPEC_CTRL_MSR,
|
|
cur | enable_bits);
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
SYS_INIT(spec_ctrl_init, PRE_KERNEL_1, 0);
|
|
#endif /* CONFIG_DISABLE_SSBD || CONFIG_ENABLE_EXTENDED_IBRS */
|