|
@@ -24,19 +24,6 @@
|
|
#define vtr_to_max_lr_idx(v) ((v) & 0xf)
|
|
#define vtr_to_max_lr_idx(v) ((v) & 0xf)
|
|
#define vtr_to_nr_pri_bits(v) (((u32)(v) >> 29) + 1)
|
|
#define vtr_to_nr_pri_bits(v) (((u32)(v) >> 29) + 1)
|
|
|
|
|
|
-#define read_gicreg(r) \
|
|
|
|
- ({ \
|
|
|
|
- u64 reg; \
|
|
|
|
- asm volatile("mrs_s %0, " __stringify(r) : "=r" (reg)); \
|
|
|
|
- reg; \
|
|
|
|
- })
|
|
|
|
-
|
|
|
|
-#define write_gicreg(v,r) \
|
|
|
|
- do { \
|
|
|
|
- u64 __val = (v); \
|
|
|
|
- asm volatile("msr_s " __stringify(r) ", %0" : : "r" (__val));\
|
|
|
|
- } while (0)
|
|
|
|
-
|
|
|
|
static u64 __hyp_text __gic_v3_get_lr(unsigned int lr)
|
|
static u64 __hyp_text __gic_v3_get_lr(unsigned int lr)
|
|
{
|
|
{
|
|
switch (lr & 0xf) {
|
|
switch (lr & 0xf) {
|