blob: 6973eeb1d13ffa7f73868a7ed4b8b3382ed1b2f9 (
plain)
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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
#ifndef __ARM_CURRENT_H__
#define __ARM_CURRENT_H__
#include <xen/page-size.h>
#include <xen/percpu.h>
#include <asm/processor.h>
/* Tell whether the guest vCPU enabled Workaround 2 (i.e variant 4) */
#define CPUINFO_WORKAROUND_2_FLAG_SHIFT 0
#define CPUINFO_WORKAROUND_2_FLAG (_AC(1, U) << CPUINFO_WORKAROUND_2_FLAG_SHIFT)
#ifndef __ASSEMBLY__
struct vcpu;
/* Which VCPU is "current" on this PCPU. */
DECLARE_PER_CPU(struct vcpu *, curr_vcpu);
#define current (this_cpu(curr_vcpu))
#define set_current(vcpu) do { current = (vcpu); } while (0)
#define get_cpu_current(cpu) (per_cpu(curr_vcpu, cpu))
/* Per-VCPU state that lives at the top of the stack */
struct cpu_info {
struct cpu_user_regs guest_cpu_user_regs;
unsigned long elr;
uint32_t flags;
};
static inline struct cpu_info *get_cpu_info(void)
{
#ifdef __clang__
unsigned long sp;
asm ("mov %0, sp" : "=r" (sp));
#else
register unsigned long sp asm ("sp");
#endif
return (struct cpu_info *)((sp & ~(STACK_SIZE - 1)) +
STACK_SIZE - sizeof(struct cpu_info));
}
#define guest_cpu_user_regs() (&get_cpu_info()->guest_cpu_user_regs)
#define switch_stack_and_jump(stack, fn) do { \
asm volatile ("mov sp,%0; b " STR(fn) : : "r" (stack), "X" (fn) : "memory" ); \
unreachable(); \
} while ( false )
#define reset_stack_and_jump(fn) switch_stack_and_jump(get_cpu_info(), fn)
DECLARE_PER_CPU(unsigned int, cpu_id);
#define get_processor_id() this_cpu(cpu_id)
#define set_processor_id(id) \
do { \
WRITE_SYSREG(__per_cpu_offset[(id)], TPIDR_EL2); \
this_cpu(cpu_id) = (id); \
} while ( 0 )
#endif
#endif /* __ARM_CURRENT_H__ */
/*
* Local variables:
* mode: C
* c-file-style: "BSD"
* c-basic-offset: 4
* indent-tabs-mode: nil
* End:
*/
|
