1# configuration: what needs translation
2
3unions  = [ "vcpu_cr_regs",
4            "vcpu_ar_regs" ];
5
6structs = [ "start_info",
7            "trap_info",
8            "cpu_user_regs",
9            "vcpu_guest_core_regs",
10            "vcpu_guest_context",
11            "arch_vcpu_info",
12            "vcpu_time_info",
13            "vcpu_info",
14            "arch_shared_info",
15            "shared_info" ];
16
17defines = [ "__arm__",
18            "__aarch64__",
19            "__i386__",
20            "__x86_64__",
21
22            "XEN_HAVE_PV_GUEST_ENTRY",
23
24            # arm
25            # None
26
27            # x86_{32,64}
28            "FLAT_RING1_CS",
29            "FLAT_RING1_DS",
30            "FLAT_RING1_SS",
31
32            "FLAT_RING3_CS64",
33            "FLAT_RING3_DS64",
34            "FLAT_RING3_SS64",
35            "FLAT_KERNEL_CS64",
36            "FLAT_KERNEL_DS64",
37            "FLAT_KERNEL_SS64",
38
39            "FLAT_KERNEL_CS",
40            "FLAT_KERNEL_DS",
41            "FLAT_KERNEL_SS",
42
43            # x86_{32,64}
44            "_VGCF_i387_valid",
45            "VGCF_i387_valid",
46            "_VGCF_in_kernel",
47            "VGCF_in_kernel",
48            "_VGCF_failsafe_disables_events",
49            "VGCF_failsafe_disables_events",
50            "_VGCF_syscall_disables_events",
51            "VGCF_syscall_disables_events",
52            "_VGCF_online",
53            "VGCF_online",
54
55            # all archs
56            "xen_pfn_to_cr3",
57            "xen_cr3_to_pfn",
58            "XEN_LEGACY_MAX_VCPUS",
59            "MAX_GUEST_CMDLINE" ];
60
61# Architectures which must be compatible, i.e. identical
62compat_arches = {
63    'arm32': 'arm64',
64    'arm64': 'arm32',
65}
66