1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 * Copyright (C) 2020 - Google LLC
4 * Author: David Brazdil <dbrazdil@google.com>
5 */
6
7#include <asm/kvm_asm.h>
8#include <asm/kvm_hyp.h>
9#include <asm/kvm_mmu.h>
10
11/*
12 * nVHE copy of data structures tracking available CPU cores.
13 * Only entries for CPUs that were online at KVM init are populated.
14 * Other CPUs should not be allowed to boot because their features were
15 * not checked against the finalized system capabilities.
16 */
17u64 __ro_after_init hyp_cpu_logical_map[NR_CPUS] = { [0 ... NR_CPUS-1] = INVALID_HWID };
18
19u64 cpu_logical_map(unsigned int cpu)
20{
21	BUG_ON(cpu >= ARRAY_SIZE(hyp_cpu_logical_map));
22
23	return hyp_cpu_logical_map[cpu];
24}
25
26unsigned long __ro_after_init kvm_arm_hyp_percpu_base[NR_CPUS];
27
28unsigned long __hyp_per_cpu_offset(unsigned int cpu)
29{
30	unsigned long *cpu_base_array;
31	unsigned long this_cpu_base;
32	unsigned long elf_base;
33
34	BUG_ON(cpu >= ARRAY_SIZE(kvm_arm_hyp_percpu_base));
35
36	cpu_base_array = (unsigned long *)&kvm_arm_hyp_percpu_base;
37	this_cpu_base = kern_hyp_va(cpu_base_array[cpu]);
38	elf_base = (unsigned long)&__per_cpu_start;
39	return this_cpu_base - elf_base;
40}
41