hc
2024-05-14 bedbef8ad3e75a304af6361af235302bcc61d06b
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
/* SPDX-License-Identifier: GPL-2.0 */
/*
 * AArch64 processor specific defines
 *
 * Copyright (C) 2018, Red Hat, Inc.
 */
#ifndef SELFTEST_KVM_PROCESSOR_H
#define SELFTEST_KVM_PROCESSOR_H
 
#include "kvm_util.h"
 
 
#define ARM64_CORE_REG(x) (KVM_REG_ARM64 | KVM_REG_SIZE_U64 | \
              KVM_REG_ARM_CORE | KVM_REG_ARM_CORE_REG(x))
 
#define CPACR_EL1    3, 0,  1, 0, 2
#define TCR_EL1        3, 0,  2, 0, 2
#define MAIR_EL1    3, 0, 10, 2, 0
#define TTBR0_EL1    3, 0,  2, 0, 0
#define SCTLR_EL1    3, 0,  1, 0, 0
 
/*
 * Default MAIR
 *                  index   attribute
 * DEVICE_nGnRnE      0     0000:0000
 * DEVICE_nGnRE       1     0000:0100
 * DEVICE_GRE         2     0000:1100
 * NORMAL_NC          3     0100:0100
 * NORMAL             4     1111:1111
 * NORMAL_WT          5     1011:1011
 */
#define DEFAULT_MAIR_EL1 ((0x00ul << (0 * 8)) | \
             (0x04ul << (1 * 8)) | \
             (0x0cul << (2 * 8)) | \
             (0x44ul << (3 * 8)) | \
             (0xfful << (4 * 8)) | \
             (0xbbul << (5 * 8)))
 
static inline void get_reg(struct kvm_vm *vm, uint32_t vcpuid, uint64_t id, uint64_t *addr)
{
   struct kvm_one_reg reg;
   reg.id = id;
   reg.addr = (uint64_t)addr;
   vcpu_ioctl(vm, vcpuid, KVM_GET_ONE_REG, &reg);
}
 
static inline void set_reg(struct kvm_vm *vm, uint32_t vcpuid, uint64_t id, uint64_t val)
{
   struct kvm_one_reg reg;
   reg.id = id;
   reg.addr = (uint64_t)&val;
   vcpu_ioctl(vm, vcpuid, KVM_SET_ONE_REG, &reg);
}
 
void aarch64_vcpu_setup(struct kvm_vm *vm, int vcpuid, struct kvm_vcpu_init *init);
void aarch64_vcpu_add_default(struct kvm_vm *vm, uint32_t vcpuid,
                 struct kvm_vcpu_init *init, void *guest_code);
 
#endif /* SELFTEST_KVM_PROCESSOR_H */